2514 search results - page 37 / 503 » The use of industrial-strength formal methods |
114
click to vote
SBCCI
2004
ACM
15 years 7 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
111
click to vote
ISOLA
2010
Springer
15 years 11 days 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...
125
click to vote
SGAI
2009
Springer
15 years 6 months ago
2009
Springer
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...
106
click to vote
FCA
2005
Springer
15 years 7 months ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
115
click to vote
FMCO
2006
Springer
15 years 5 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...