Aspectual component composition platform needs a new kind of language to support the
description and verification of the software architecture. Based on the extension of Wright …

Despite promoting precise modelling and analysis, architecture description languages
(ADLs) have not yet gained the expected momentum. Indeed, practitioners prefer using far …

One of the major advantages of component-based software engineering is the ability for
developers to reuse and assemble software entities to build complex software. Whereas …

The authors present a framework for analyzing software architecture descriptions using
machine-assisted formal proof. Our approach is based on the translation of an existing …

During the architecture development process, architectural design decisions play an
important role in maintaining non-functional properties of the system. Instead of supposing …

Quality assurance processes of software-intensive systems are an increasing challenge as
the complexity of these systems dramatically increases. The use of Architecture Description …

Software architecture is a novel filed of software engineering devoted towards describing the
architecture of software systems. Architecture Description Languages (ADLs) are formal …

The software architecture community has proposed to document the design rationale of
software architectures by means of architectural design decisions (ADDs). The constant …

Software maintenance is the most costly phase of software development. Two factors
contributing to the high cost are the late detection of system failures and the increasing …

We investigate the feasibility of applying the principles of domain-specific modeling to the
problem of capturing and preservation architectural modeling knowledge. The proposed …