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...
| Main Authors: | , |
|---|---|
| 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 |