Andere Kunden interessierten sich auch für
![Formal Techniques in Real-Time and Fault-Tolerant Systems]( "Formal Techniques in Real-Time and Fault-Tolerant Systems")
Formal Techniques in Real-Time and Fault-Tolerant Systems118,99 €![Automata based formal approach for verification of Web Service]( "Automata based formal approach for verification of Web Service")
Automata based formal approach for verification of Web Service50,99 €![Formal Language Learning with Correction Queries]( "Formal Language Learning with Correction Queries")
Formal Language Learning with Correction Queries38,99 €![Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment]( "Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment")
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment35,00 €![Formal Verification of Space Missions Communication Protocols]( "Formal Verification of Space Missions Communication Protocols")
Formal Verification of Space Missions Communication Protocols32,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications]( "Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications")
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications37,99 €![Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change]( "Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change")
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change37,99 €
With the pervasive and accelerating growth of web applications, correctness is a primary concern. Meanwhile, software communities are increasingly adopting formal methods, mainly to achieve reliability and better automation, to analyze various types of applications. In this work, a communicating automata modeling technique is proposed using the dynamic analysis approach to infer models from user-based execution traces of Web applications. These models are used to verify properties of Web applications by means of model checking technique. Also, the problem of property specification in LTL over a subset of states of a system under test is addressed. Operators that facilitate specifying properties over propositional scopes are introduced, where each scope constitutes a subset of states that satisfy a propositional logic formula. Finally, to facilitate the use of formal methods in conventional web engineering techniques, a library of web specification pattern is proposed. It includes119 patterns specified in LTL. These are based on the analysis of Web quality rules, written in English prose.