FM
1994
Springer
14 years 4 months ago
1994
Springer
FM
1994
Springer
14 years 4 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
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...