Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publications of Year << 1994 >>   Download bibtex file
<< InProceedings >> TOP
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.
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.
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.
David Garlan. The Role of Software Architecture in Requirements Engineering. In Proceedings of the Second International Conference on Requirements Engineering, 1994.
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.
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).
<< TechReport >> TOP
Robert Allen and David Garlan. Formal Connectors. Technical report, CMU-CS-94-115, Carnegie Mellon University, School of Computer Science, March 1994.
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.
<< Misc >> TOP
David Garlan and Dewayne Perry. Software Architecture: Practice, Potential, and Pitfalls Panel Introduction. Panel Introduction in Proceedings of the Sixteenth International Conference on Software Engineering, May 1994.
Feedback: ABLE Webmaster
Last modified: Mon February 12 2018 11:21:51