Petri nets: an introduction
Modern structured analysis
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Programming from specifications
Programming from specifications
The RAISE specification language
The RAISE specification language
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
An Invitation to Formal Methods
Computer
A Formal Operational Semantics for SOFL
APSEC '97 Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL
ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
Evolution: A More Practical Approach than Refinement for Software Development
ICECCS '97 Proceedings of the Third IEEE International Conference on Engineering of Complex Computer Systems
An automated approach to specification animation for validation
Journal of Systems and Software
Integrating top-down and scenario-based methods for constructing software specifications
Information and Software Technology
Integrating prototyping into the SOFL three-step modeling approach
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
| Hi-index | 0.00 |