Systematic software development using VDM
Systematic software development using VDM
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
The RAISE language, method and tools
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
The Z notation: a reference manual
The Z notation: a reference manual
The role of formal reusable frameworks
Conference proceedings on Formal methods in software development
Formal specification for a clinical cyclotron control system
Conference proceedings on Formal methods in software development
Application of formal methods to system and software specification
Conference proceedings on Formal methods in software development
The role of formalized domain-specific software frameworks
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
The Golden Age of Software Architecture
IEEE Software
Using model transformation techniques for the superimposition of architectural styles
ECSA'11 Proceedings of the 5th European conference on Software architecture
Hi-index | 0.00 |