3 search results - page 1 / 1 » Seven More Myths of Formal Methods |
FM
1994
Springer
14 years 3 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...
ISOLA
2007
Springer
14 years 5 months ago
2007
Springer
SIGSOFT
2002
ACM
14 years 12 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...