Formalizing software architectures: an industrial experience

A key aspect of the design of any software system is its architecture. From the perspective of dependability, an effective architecture aims to build fault-free systems,i.e. ensuring fault avoidance. At the architecture level, fault avoidance is ...

A software engineering standard is an aid for systematic software development and process improvement. Because of the informal representation of software engineering knowledge, the document might be inconsistent, ambiguous, and incomplete. A more formal ...

Industry is increasingly performing its software development in the context of an explicitly defined software architecture. A typical example of this is formed by the recent adoption of product line architectures by several large corporations. The ...