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: | 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
-
Logic, programming and formal specification
by: Goldsmith, M. H.
Published: (1985) -
Understanding Z : A specification language and its formal semantics
by: Spivey, J. M.
Published: (1985) -
Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification
by: Tetsuro Katayama, et al.
Published: (2020-09-01) -
Current level of formal specification development
by: Efilia Ariza V., et al.
Published: (2017-12-01) -
The Formalism and Language Tools for Semantics Specification of Software Libraries
by: V. M. Itsykson
Published: (2016-12-01)