The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented specification case studies
Object-oriented specification case studies
IEEE Software
CICS Project Report: Experiences and Results from the use of Z in IBM
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
An Approach to Animating Z Specifications
COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference
An approach to integrating semi-formal and formal notations in software specification
Proceedings of the 2002 ACM symposium on Applied computing
Temporal skeletons for verifying time
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Hi-index | 0.00 |
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of making formal methods practical and usable. Then, we present a pragmatic approach to integrate a popular object-oriented modeling notation UML and a popular formal notation Z. Our approach is distinctive in its emphasis on overcoming the practical obstacles. We also present a light-weight supporting tool for our approach. A prototype of the supporting tool is completed. It allows us to demonstrate the feasibility and capability of our approach.