| 1 |
David Garlan. Integrating Formal Methods into a Professional Master of Software Engineering Program. In Proceedings of the Eighth Z User Meeting, Springer-Verlag, Cambridge, England, June 1994.
|
| 2 |
David Garlan, Robert Allen and John Ockerbloom. Exploiting Style in Architectural Design Environments. In Proceedings of SIGSOFT'94: The Second ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press, December 1994.
|
| 3 |
Robert Allen and
David Garlan. Beyond Definition/Use: Architectural Interconnection. In Proceedings of the ACM Interface Definition Language Workshop, Vol. 29(8), SIGPLAN Notices, August 1994.
|
| 4 |
David Garlan. The Role of Software Architecture in Requirements Engineering. In Proceedings of the Second International Conference on Requirements Engineering, 1994.
|
| 5 |
David Garlan and Mary Shaw. Software Development Assignments for a Software Architecture Course. In Software Engineering Resources: Proceedings of the ACM/IEEE International Workshop on Software Engineering Education, May 1994.
|
| 6 |
Robert Allen and
David Garlan. Formalizing Architectural Connection. In Proceedings of the Sixteenth International Conference on Software Engineering, Pages 71-80, Sorrento, Italy, May 1994. Awarded ICSE2004 Best Paper (ICSE-10).
|
|
|
| 7 |
Robert Allen and
David Garlan. Formal Connectors. Technical report, CMU-CS-94-115, Carnegie Mellon University, School of Computer Science, March 1994.
|
| 8 |
Mary Shaw and
David Garlan. Characteristics of Higher-level Languages for Software Architectures. Technical report, CMU-CS-94-210, Carnegie Mellon University School of Computer Science, 1994.
|
|
|
