@InProceedings{Allen95Aegis,
      AUTHOR = {Allen, Robert and Garlan, David},
      TITLE = {A Case Study in Architectural Modelling: The AEGIS System},
      YEAR = {1996},
      MONTH = {March},
      BOOKTITLE = {Proceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8)},
      KEY = {Allen},
      PAGES = {6-15},
      ADDRESS = {Paderborn, Germany},
      PDF = {http://www.cs.cmu.edu/afs/cs/project/able/ftp/aegis-iwssd8/aegis-iwssd8.pdf},
      PS = {http://www.cs.cmu.edu/afs/cs/project/able/ftp/aegis-iwssd8/aegis-iwssd8.ps},
      ABSTRACT = {Software architecture is receiving increasingly attention as a critical design level for software systems. However, the current practice of architectural description is largely informal and ad hoc, with the consequence that architectural documents serve as a poor communication mechanism, are difficult to analyze, and may have very little relationship to the implemented system. In an attempt to address these problems several researchers have experimented with formalisms for architectural specification and modelling. One such formalism is Wright. In this paper we show how Wright can be used to provide insight into an architectural design by modelling a prototype implementation of part of the AEGIS Weapons System.},
      KEYWORDS = {Software Architecture, Wright}
}