Communicating sequential processes
Communicating sequential processes
The Z notation: a reference manual
The Z notation: a reference manual
Object-oriented modeling and design
Object-oriented modeling and design
Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Using view-based models to formalize architecture description
ISAW '98 Proceedings of the third international workshop on Software architecture
An approach to architectural analysis and testing
ISAW '98 Proceedings of the third international workshop on Software architecture
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Formal Specification of Evolving Distributed Software Architectures
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Composing heterogeneous software architectures
Composing heterogeneous software architectures
Special track on coordination models, languages and applications (track introduction)
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
| Hi-index | 0.00 |