Petri nets: an introduction
Modern structured analysis
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Generating test data from SOFL specifications
Journal of Systems and Software
Software Design
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
An automated approach to specification animation for validation
Journal of Systems and Software
Hi-index | 0.00 |
How to effectively apply formal methods under schedule constraints to develop real systems is an important issue to address. In this paper we report our recent experience in the application of SOFL (Structured Object-based Formal Language) to developing a University Information System. The intention of this study is to investigate whether and how formal methods can benefit development of non-safety critical systems with time constraints. We have found that if used appropriately, formal methods can help to save time, to improve the accuracy of discussions and communications, to facilitate transformations from specifications to design, and then to programs. On the other hand, we have also found that formal specifications in the style of pre and post-conditions can be difficult to write; formal specifications without reviews may involve mistakes; and satisfactory formal specifications that serve as the reliable documents for development and maintenance may be completed only throughout the entire development process.