Systematic software development using VDM
Systematic software development using VDM
Software engineering with systems analysis and design
Software engineering with systems analysis and design
Structured systems analysis and design method: application and context
Structured systems analysis and design method: application and context
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
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Structured Analysis and System Specification
Structured Analysis and System Specification
A user-friendly formal requirements specification method
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Hi-index | 0.00 |