The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Design of Flexible Static Program Analyzers with PQL
IEEE Transactions on Software Engineering
Acquiring COTS Software Selection Requirements
IEEE Software
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
A theory model core for module interconnection languages
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A rigorous approach to comparison of representational properties of object-oriented analysis and design methods
An extensible model of architecture description
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Hi-index | 0.00 |