Using style to understand descriptions of software architecture

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn Part F129582, Issue , 1993, Pages 9-20

  Abowd, Gregory ^a   Allen, Robert ^a   Garlan, David ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; SEMANTICS; SOFTWARE ENGINEERING;

ARCHITECTURAL STYLE; FORMAL FRAMEWORK;

SOFTWARE ARCHITECTURE;

EID: 84981550540     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/256428.167055     Document Type: Conference Paper

References (13)

1. ALLEN, R., AND GARLAN, D. A formal approach to software architectures. In Proceedings of IFIP'92 (September 1992), J. van Leeuwen, Ed., Elsevier Science Publishers B.V.
2. ALLEN, R., AND GARLAN, D. Towards formalized software architectures. Tech. Rep. CMU-CS-92-163, Carnegie Mellon University, School of Computer Science, July 1992.
3. Proceedings of the Workshop on Domain-Specific Software Architectures (Hidden Valley, PA, July 1990), Software Engineering Institute.
4. EARL, A. A reference model for computer assisted software engineering environment frameworks. Tech. Rep. HPL-SEG-TN-90-11, Hewlett Packard Laboratories, Bristol, England, August 1990.
5. FREEMAN, P., AND A.I. WASSERMAN. Tutorial on Software Design Techniques. IEEE Computer Society Press, 1976.
6. GARLAN, D., AND NOTKIN, D. Formalizing design spaces: Implicit invocation mechanisms. In VDM'91: Formal Software Development Methods (Noordwijkerhout, The Netherlands, October 1991), Springer-Verlag, LNCS 551, pp. 31-44.
7. GARLAN, D., AND SCOTT, C. Adding implicit invocation to traditional programming languages. In Proceedings of the Fifteenth International Conference on Software Engineering (Baltimore, MD, May 1993).
8. GARLAN, D., AND SHAW, M. An introduction to software architecture. In Advances in Software Engineering and Knowledge Engineering, Volume I (New Jersey, 1993), V. Ambriola and G. Tortora, Eds., World Scientific Publishing Company.
9. LUCKHAM, D. C., AND VERA, J. Event-based concepts and language for system architecture. Working draft, October 1992.
10. METTALA, E., AND GRAHAM, M. H. The domainspecific software architecture program. Tech. Rep. CMU/SEI-92-SR-9, Carnegie Mellon Software Engineering Institute, June 1992.
11. REISS, S. Connecting tools using message passing in the Field Environment. IEEE Software 7, 4 (July 1990), 57-66.
12. SPIVEY, J. The Z Notation: A Reference Manual. Prentice Hall, 1989.
13. SULLIVAN, K. J., AND NOTKIN, D. Reconciling environment integration and software evolution. ACM Transactions on Software Engineering and Methodology 1, 3 (July 1992), 229-268.