An introduction to data structures with applications (2nd ed.)
An introduction to data structures with applications (2nd ed.)
Systematic software development using VDM
Systematic software development using VDM
Software engineering with systems analysis and design
Software engineering with systems analysis and design
VDM: origins, hopes, and achievements
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
Structured systems analysis and design method: application and context
Structured systems analysis and design method: application and context
Towards a formal foundation for DeMarco data flow diagrams
The Computer Journal
Case studies in systematic software development
Case studies in systematic software development
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
A formal structured method for requirement specification construction
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Structured Analysis and System Specification
Structured Analysis and System Specification
| Hi-index | 0.00 |
As formal methods are increasingly used in the development of industrial scale software systems, there is a growing awareness of the need to integrate the formal notations with existing structured software development methods. In order to make requirements analysis both comprehensible and rigorous, a User-Friendly Formal Requirements Specification Method is proposed in this paper by combining and extending DeMarco data flow diagrams with VDM (Vienna Development Method). The specifications produced using this method possess good readability, a well-designed structuring mechanism and precise semantics. The significant progress presented in this paper is to develop a verified analysis approach based on the concept of consistency checking for guaranteeing the correctness of analysis steps.