Journal Article Introduction to the special section 1998 • IEEE Transactions on Software Engineering • 24(7):497-497 Garlan D
Conference Reasoning about implicit invocation 1998 • Software Engineering Notes • 209-221 Dingel J, Garlan D, Jha S, Notkin D
Journal Article Reasoning about implicit invocation 1998 • Software Engineering Notes • 23(6):209-221 Garlan D, Jha S, Notkin D, Dingel J
Conference Specifying and analyzing dynamic software architectures 1998 • Lecture Notes in Computer Science • 1382:21-37 Allen R, Douence R, Garlan D
Journal Article Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning 1998 • Formal Aspects of Computing • 10(3):193-213 Dingel J, Garlan D, Jha S, Notkin D
Journal Article A Formal Basis for Architectural Connection 1997 • ACM Transactions on Software Engineering and Methodology • 6(3):213-249 Allen R, Garlan D
Journal Article Agents of change: Educating software engineering leaders 1997 • Computer • 30(11):59-+ Garlan D, Gluch DP, Tomayko JE
Journal Article Architectural styles, design patterns, and objects 1997 • IEEE Software • 14(1):43-& Monroe RT, Kompanek A, Melton R, Garlan D
Conference Panel: Software engineering: Graduate education and research issues. 1997 • Frontiers in Education Conference • 467-468 DiazHerrera JL, Davis A, Fairley R, Garlan D, Mills EE
Journal Article Towards a Formal Treatment of Implicit Invocation 1997 Dingel J, Garlan D, Jha S, Notkin D
Conference A Case Study in Architectural Modelling: The AEGIS System 1996 • Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996 • 6-15 Allen R, Garlan D
Conference Formal approaches to software architecture 1996 • Lecture Notes in Computer Science • 1078:64-76 Garlan D
Conference Style-based refinement for software architecture 1996 • International Software Architecture Workshop, Proceedings, ISAW • 72-75 Garlan D
Conference Style-based reuse for software architectures 1996 • FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE, PROCEEDINGS • 84-93 Monroe RT, Garlan D
Journal Article The Fourth Symposium on the Foundations of Software Engineering (FSE4) 1996 • Software Engineering Notes • 21(5):4 Garlan D, Morieoni M
Journal Article ARCHITECTURAL MISMATCH - WHY REUSE IS SO HARD 1995 • IEEE Software • 12(6):17-& GARLAN D, ALLEN R, OCKERBLOOM J
Conference Architectural mismatch or why it's hard to build systems out of existing parts 1995 • Proceedings - International Conference on Software Engineering • 179-185 GARLAN D, ALLEN R, OCKERBLOOM J
Journal Article First international workshop on architectures for software systems workshop summary 1995 • Software Engineering Notes • 20(3):84-89 Garlan D
Journal Article Formalizing Style to Understand Descriptions of Software Architecture 1995 • ACM Transactions on Software Engineering and Methodology • 4(4):319-364 Abowd GD, Allen R, Garlan D
Journal Article Formalizing Style to Understand Descriptions of Software Architecture. 1995 Abowd G, Allen R, Garlan D
Chapter Formulations and formalisms in software architecture 1995 • Lecture Notes in Computer Science • 1000:307-323 Shaw M, Garlan D
Journal Article MAKING FORMAL METHODS EDUCATION EFFECTIVE FOR PROFESSIONAL SOFTWARE ENGINEERS 1995 • Information and Software Technology • 37(5-6):261-268 GARLAN D
Journal Article RESEARCH DIRECTIONS IN SOFTWARE ARCHITECTURE 1995 • ACM Computing Surveys • 27(2):257-261 GARLAN D
