An object-oriented requirements specifications method
Communications of the ACM
The object-oriented systems life cycle
Communications of the ACM
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
A methodology for deriving an object-oriented design from functional specifications
Software Engineering Journal
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented specification case studies
Object-oriented specification case studies
Object Orientation in Z
Domain-Retargetable Reverse Engineering
ICSM '93 Proceedings of the Conference on Software Maintenance
Paradigm shift in software re-engineering: an experience report
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Introducing Objects through Refinement
FM '08 Proceedings of the 15th international symposium on Formal Methods
Hi-index | 0.00 |