Analysis of Formal Methods for Specification of E-Commerce Applications
Journal Title: Mehran University Research Journal of Engineering and Technology - Year 2016, Vol 35, Issue 1
Abstract
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 addressing challenges incumbent with E-commerce based applications, contribute towards reliability and robustness obliging the system. Anticipating and designing sturdy e-process and concurrent implementation, allows application behavior extra strength against errors, frauds and hacking, minimizing program faults during application operations. Programmers find extreme difficulty guaranteeing correct processing under all circumstances, however, not impossible. Concealed flaws and errors, triggered only under unexpected and unanticipated scenarios, pilot subtle mistakes and appalling failures. Code authors utilize various formal methods for reducing these flaws. Mentioning prominent methods would include, ASM (Abstract State Machines), B-Method, z-Language, UML (Unified Modelling Language) etc. This paper primarily focuses different formal methods applied while deliberating specification and verification techniques for cost effective
Authors and Affiliations
Sadiq Ali Khan, Huma Jamshed
Effect of Age and Environment on Strength of Old Baked Clay Bricks of Indus Valley Civilization
This paper presents results of experimental investigations conducted on old baked clay bricks of Indus Valley civilization of tenth century. The object of this study is to evaluate the effect of age and environmental con...
A Comprehensive Literature Review of Thermochemical Conversion of Biomass for Syngas Production and Associated Challenge
The interest in the thermochemical conversion of biomass for producer gas production since last decade has increased because of the growing attention to the application of sustainable energy resources. Application of bio...
Methane Production by Anaerobic Digestion of Spent Wash in Continuous Stirred Tank Reactor
DSW (Distillery Spent Wash) is superfluous residual liquid waste produced during the process of alcohol production. It is one of the most critical environmental issues which cause pollution. Despite strictness of standar...
An Evaluation Model for Measuring the Usability of Mobile Office Applications through User Interface Design Metrics
Usage of mobile devices and particularly smart phones has seen an enormous hike due to the advancement of mobile phone technology in recent times. People of different age groups, one way or the other, are now connected t...
Identification of Causes and Minimization of Delays in Highway Projects of Pakistan
The problem of delay in construction industry is a regular phenomenon worldwide, and construction industry of Pakistan has no exception, particularly in highways projects. Delay can be described as the extension of time...