3799 search results - page 96 / 760 » An Engineering Approach to Formal Methods |
IFM
2010
Springer
13 years 7 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
AMAI
2011
Springer
12 years 9 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...