Communicating sequential processes
Communicating sequential processes
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Correct Architecture Refinement
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)
Reuse of off-the-shelf components in C2-style architectures
Proceedings of the 1997 symposium on Software reusability
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Bridging models across the software lifecycle
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Modeling and Simulation of Context-Aware Mobile Systems
Proceedings of the 19th IEEE international conference on Automated software engineering
A Framework to Specify Incremental Software Architecture Transformations
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Domains of concern in software architectures and architecture description languages
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
An approach for specification construction using property-preserving refinement patterns
Proceedings of the 2008 ACM symposium on Applied computing
Security policy refinement and enforcement for the design of multi-level secure systems
Journal of Computer Security - Privacy, Security and Trust (PST) Technologies: Evolution and Challenges
Architecture-based refinements for secure computer systems design
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
Adaptation and abstract runtime models
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
A language for behavioural modelling of architectural patterns
Proceedings of the Third Workshop on Behavioural Modelling
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Hi-index | 0.00 |