To resolve the problems of the definition, description, and proof of semantic property
preservation of model-driven development, a mathematical framework for architecture …

High assurance architecture-based and component-based software development relies
fundamentally on the quality of the components of which a system is composed and their …

ABSTRACT Architecture Description Languages (ADLs) such as Acme (a mainstream
second generation ADL which contains the most common ADL constructs) provide formality …

Software architectures are intended to describe essential high level structural and
behavioral characteristics of a system. Architecture Description Languages (ADLs) describe …

Software product lines (SPL), component based software engineering (CBSE) and
commercial off the shelf (COTS) components provide a rich supporting base for creating …

We propose a constraint-based structural architectural description language for specifying
and reasoning about self-organising software architectures and for guiding their evolution …

Architecture description language (ADL) is the foundation of architecture-centered software
development. However, traditional ADLs lack the ability to describe design decisions which …

Software architecture descriptions are high-level models of software systems. Some
researchers have proposed special-purpose architectural notations that have a great deal of …

The GEAR process integrates three approaches to architectural requirements engineering:
model-driven requirements engineeering, quality attribute scenarios, and global analysis …

Nowadays different notations for architectural modeling have been proposed, each one
focussing on a specific application domain, analysis type, or modeling environment. No …