Software reflexion models: bridging the gap between source and high-level models
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Applied software architecture
Acme: architectural description of component-based systems
Foundations of component-based systems
An encompassing life cycle centric survey of software inspection
Journal of Systems and Software
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
Reconciling the needs of architectural description with object-modeling notations
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
The 4+1 View Model of Architecture
IEEE Software
A survey on software architecture analysis methods
IEEE Transactions on Software Engineering
On Associations in the Unified Modelling Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
ACM Transactions on Software Engineering and Methodology (TOSEM)
Embedded Software Engineering: The State of the Practice
IEEE Software
Symphony: View-Driven Software Architecture Reconstruction
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
An XML-Based Framework for Language Neutral Program Representation and Generic Analysis
CSMR '05 Proceedings of the Ninth European Conference on Software Maintenance and Reengineering
Hi-index | 0.00 |
In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evolving embedded systems. In order to effectively reuse design artefacts such as requirements, architectural views and analysis, as well as the code base, it is important to have a consistent overview in each phase of the development process. In this paper we propose a conformance check framework that combines a colloquial engineering model and a conformance check system based on commodity technology, albeit the model and the system can be used in their own right. An academic experiment exemplifies the application of our framework.