FM
14 years 1 months ago
1994 Springer FM
14 years 1 months ago
1994 Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
FM
14 years 1 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
14 years 1 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
14 years 1 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...
|