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
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
An improved inspection technique
Communications of the ACM
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Active design reviews: principles and practices
ICSE '85 Proceedings of the 8th international conference on Software engineering
Fundamentals of object-oriented design in UML
Fundamentals of object-oriented design in UML
Software Engineering Economics
Software Engineering Economics
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Verifying Consistency and Validity of Formal Specifications by Testing
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Hi-index | 0.00 |
Formal Engineering Methods are a bridge from Formal Methods to industrial applications. In this paper I describe the relation between formal engineering methods and formal methods, and present a specific formal engineering method SOFL (Structured Object-Oriented Formal Language) for developing quality software systems. I explain how SOFL can be applied in practice through examples.