FM
1994
Springer
14 years 4 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
FM
1994
Springer
14 years 4 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
FM
1994
Springer
14 years 4 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
ZUM
1997
Springer
14 years 4 months ago
1997
Springer
ZUM
1997
Springer
14 years 4 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
SAS
1997
Springer
14 years 4 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
SAS
1997
Springer
14 years 4 months ago
1997
Springer
SAS
1997
Springer
14 years 4 months ago
1997
Springer
SAS
1997
Springer
14 years 4 months ago
1997
Springer
RE
1997
Springer
14 years 4 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...