Analysis of Formal Methods for Specification of E-Commerce Applications

E-commerce based application characteristics portray elevated dynamics while incorporating decentralized nature. Extreme emphasis influencing structural design plus implementation, positions such applications highly appreciated. Significant research articles reveal that, applying formal methods addr...

Full description

Bibliographic Details
Main Authors: Sadiq Ali Khan, Huma Jamshed
Format: Article
Language:English
Published: Mehran University of Engineering and Technology 2016-01-01
Series:Mehran University Research Journal of Engineering and Technology
Subjects:
Online Access:http://publications.muet.edu.pk/research_papers/pdf/pdf1216.pdf

Similar Items