| |
|
| |
|
| |
|
| |
|
João Pedro Sousa and
David Garlan. Formal Modeling of the Enterprise JavaBeans Component Integration Framework. In Information and Software Technology, Vol. 43(3), March 2001. Also available as Technical Report CMU-CS-00-162, Carnegie Mellon University School of Computer Science.
|
|
| |
| Jurgen Dingel,
David Garlan, Somesh Jha and David Notkin. Towards a formal treatment of implicit invocation using rely/guarantee reasoning. In Formal Aspects of Computing, Vol. 1-:193-213, 1998. Supersedes CMU-CS-97-153.
|
|
| |
| Robert T. Monroe,
Andrew Kompanek, Ralph Melton and
David Garlan. Architectural Styles, Design Patterns, and Objects. In IEEE Software, Vol. 14(1):43-52, January 1997.
|
|
| |
| Robert Allen and
David Garlan. A Formal Basis for Architectural Connection. In ACM Transactions on Software Engineering and Methodology, Vol. 6(3):213-249, July 1997.
|
|
| |
|
David Garlan and Dewayne Perry. Introduction to the Special Issue on Software Architecture. In IEEE Transactions on Software Engineering, Vol. 21(4), April 1995.
|
|
| |
| Gregory Abowd, Robert Allen and
David Garlan. Formalizing Style to Understand Descriptions of Software Architecture. In ACM Transactions on Software Engineering and Methodology, Vol. 4(4):319-364, October 1995.
|
|
| |
| Tiberiu Seceleanu and
David Garlan. Developing adaptive systems with synchronized architectures. In The Journal of Systems and Software, Vol. 79(11):1514-1526, November 2006.
|
|
| |
|
David Garlan and
Bradley Schmerl. The RADAR Architecture for Personal Cognitive Assistance. In International Journal of Software Engineering and Knowledge Engineering, Vol. 17(2), April 2007. A shorter version of this paper appeared in the 2006 Conference on Software Engineering and Knowledge Engineering (SEKE 2006).
|
|
| |
|
| |
|
David Garlan, Robert Allen and John Ockerbloom. Architectural Mismatch: Why Reuse is so Hard. In IEEE Software, Vol. 12(6):17-26, 1995.
|
|
| |
|
David Garlan, Robert Allen and John Ockerbloom. Architectural Mismatch: Why Reuse is Still So Hard. In IEEE Software, 25th-Anniversary Top Picks, Pages 66-69, July 2009.
|
|
|
|
| |
|
George Fairbanks, Kevin Bierhoff and Desmond D'Souza. Software Architecture at a Large Financial Firm. In Proceedings of ACM SIGPLAN Conference on Object Oriented Programs, Systems, Languages, and Applications (OOPSLA) 2006, Portland, OR, USA, 22-27 October 2006.
|
|
| |
|
Jung Soo Kim and
David Garlan. Analyzing Architectural Styles with Alloy. In Workshop on the Role of Software Architecture for Testing and Analysis 2006 (ROSATEA 2006), Portland, ME, USA, 17 July 2006.
|
|
| |
|
David Garlan and
Bradley Schmerl. An Architecture for Personal Cognitive Assistance. In 18th International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, USA, 5-7 July 2006.
|
|
| |
|
Shang-Wen Cheng,
David Garlan and
Bradley Schmerl. Architecture-based Self-adaptation in the Presence of Multiple Objectives. In ICSE 2006 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Shanghai, China, 21-22 May 2006.
|
|
| |
| Marwan Abi-Antoun, Jonathan Aldrich,
David Garlan,
Bradley Schmerl, Nagi Nahas and Tony Tseng. Software Architecture with Acme and ArchJava (Research Demonstration) In Proceedings of the 27th International Conference on Software Engineering, St. Louis, MS, May 2005.
|
|
| |
| Marwan Abi-Antoun, Jonathan Aldrich,
David Garlan,
Bradley Schmerl, Nagi Nahas and Tony Tseng. Improving System Dependability by Enforcing Architectural Intent. In Proceedings of the 2005 Workshop on Architecting Dependable Systems (WADS 2005), St. Louis, MS, May 2005.
|
|
| |
|
David Garlan, William K. Reinholtz,
Bradley Schmerl,
Nicholas Sherman and Tony Tseng. Bridging the Gap between Systems Design and Space Systems Software. In Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop (SEW-29), Greenbelt, MD, 6-7 April 2005.
|
|
| |
| Roshanak Roshandel,
Bradley Schmerl, Nenad Medvidovic and
David Garlan. Understanding Tradeoffs among Different Architectural Modelling Approaches. In Proceedings of the 4th Working IEEE/IFIP Conference on Software Architectures (WICSA4), Oslo, Norway, 11-14 June 2004.
|
|
| |
|
Hong Yan,
David Garlan,
Bradley Schmerl, Jonathan Aldrich and Rick Kazman. DiscoTect: A System for Discovering Architectures from Running Systems. In Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, 23-28 May 2004.
|
|
| |
|
Bradley Schmerl and
David Garlan. AcmeStudio: Supporting Style-Centered Architecture Development (Research Demonstration) In Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, 23-28 May 2004.
|
|
| |
|
David Garlan and
Bradley Schmerl. Using Architectural Models at Runtime: Research Challenges. In Proceedings of the European Workshop on Software Architectures, St. Andrews, Scotland, May 2004.
|
|
| |
| Kevin Steppe,
David Garlan, Greg Bylenok,
Bradley Schmerl and Nataliya Shevchenko. Tool Support for Model Based Architectural Design for Automotive Control Systems. In First European Workshop on Model Driven Architecture with Emphasis on Industrial Application, Enschede, The Netherlands, 17-19 March 2004.
|
|
| |
| Kevin Steppe, Greg Bylenok,
David Garlan,
Bradley Schmerl, Kanat Abirov and Nataliya Shevchenko. Two-tiered Architectural Design for Automotive Control Systems: An Experience Report. In Automotive Software Workshop on Future Generation Software Architectures in the Automotive Domain, San Diego, CA, 10-12 January 2004. (Workshop Proceedings).
|
|
| |
|
George Fairbanks. Why Can't They Create Architecture Models Like Developer X? An Experience Report. In The 2003 International Conference on Software Engineering (ICSE'03), Portland, OR, 3-10 May 2003.
|
|
| |
|
| |
|
David Garlan and
Bradley Schmerl. Model-based Adaptation for Self-Healing Systems. In ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02),, Charleston, SC, 18-19 November 2002.
|
|
| |
| Juergen Dingel,
David Garlan and Craig Damon. Bridging the HLA: Problems and Solutions. In Sixth IEEE International Workshop on Distributed Simulation and Real Time Applications (DS-RT '02), Fort Worth, TX, 11-13 October 2002.
|
|
| |
|
Shang-Wen Cheng,
David Garlan,
Bradley Schmerl, Peter Steenkiste and Ningning Hu. Software Architecture-based Adaptation for Grid Computing. In The 11th IEEE Conference on High Performance Distributed Computing (HPDC’02), Edinburgh, Scotland, July 2002.
|
|
| |
|
Bradley Schmerl and
David Garlan. Exploiting Architectural Design Knowledge to Support Self-repairing Systems. In The 14th International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy, 15-19 July 2002.
|
|
| |
|
Shang-Wen Cheng,
David Garlan,
Bradley Schmerl,
João Pedro Sousa,
Bridget Spitznagel and Peter Steenkiste. Using Architectural Style as a Basis for Self-repair. In Jan Bosch, Morven Gentleman, Christine Hofmeister and Juha Kuusela editors, Software Architecture: System Design, Development, and Maintenance (Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture), Pages 45-59, Kluwer Academic Publishers, 25-31 August 2002.
|
|
| |
|
João Pedro Sousa and
David Garlan. Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments. In Jan Bosch, Morven Gentleman, Christine Hofmeister and Juha Kuusela editors, Software Architecture: System Design, Development, and Maintenance (Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture), Pages 29-43, Kluwer Academic Publishers, 25-31 August 2002.
|
|
| |
|
Shang-Wen Cheng,
David Garlan,
Bradley Schmerl,
João Pedro Sousa,
Bridget Spitznagel, Peter Steenkiste and Ningning Hu. Software Architecture-based Adaptation for Pervasive Systems. In H Schmeck, T Ungerer and L Wolf editors, International Conference on Architecture of Computing Systems (ARCS'02): Trends in Network and Pervasive Computing, Vol. 2299 of Lecture Notes in Computer Science, Springer-Verlag, Karlsruhe, Germany, 8-11 April 2002.
|
|
| |
|
| |
|
Bridget Spitznagel and
David Garlan. A Compositional Approach for Constructing Connectors. In The Working IEEE/IFIP Conference on Software Architecture (WICSA'01), Amsterdam, The Netherlands, 28-31 August 2001.
|
|
| |
|
Shang-Wen Cheng and
David Garlan. Mapping Architectural Concepts to UML-RT. In Proceedings of the 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Las Vegas, NV, June 2001.
|
|
| |
|
David Garlan and
Bradley Schmerl. Component-Based Software Engineering in a Pervasive Computing Environment. In The 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction, Toronto, Canada, 14-15 May 2001.
|
|
| |
|
David Garlan and
Zhenyu Wang. A Case Study in Software Architecture Interchange. In Proceedings of Coordination'99, Springer-Verlag, 1999.
|
|
| |
|
David Garlan. Pervasive Computing and the Future of CSCW Systems. In CSCW2000 Workshop on Software Architectures for Cooperative Systems, November 2000. (Position Paper).
|
|
| |
|
David Garlan. Software Architecture and Object-Oriented Systems. In Proceedings of the IPSJ Object-Oriented Symposium 2000, August 2000.
|
|
| |
|
David Garlan and
Andrew Kompanek. Reconciling the Needs of Architectural Description with Object-Modeling Notations. In Proceedings of the Third International Conference on the Unified Modeling Language - << UML >> 2000, York, UK, October 2000.
|
|
| |
| Robert Allen,
David Garlan and James Ivers. Formal Modeling and Analysis of the HLA Component Integration Standard. In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), ACM, Lake Buena Vista, Florida, November 1998.
|
|
| |
| Jurgen Dingel,
David Garlan, Somesh Jha and David Notkin. Reasoning about Implicit Invocation. In Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), Lake Buena Vista, Florida, November 1998.
|
|
| |
|
Bridget Spitznagel and
David Garlan. Architecture-Based Performance Analysis. In Proceedings of the 1998 Conference on Software Engineering and Knowledge Engineering (SEKE'98), June 1998.
|
|
| |
|
David Garlan. Higher-Order Connectors. In Proceedings of Workshop on Compositional Software Architectures, January 1998.
|
|
| |
| Robert Allen, Remi Douence and
David Garlan. Specifying and Analyzing Dynamic Software Architectures. In Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98), Vol. 1382 of Lecture Notes in Computer Science, Springer, Lisbon, Portugal, March 1998. An expanded version of the paper Specifying Dynamism in Software Architectures, which appeared in the Proceedings of the Workshop on Foundations of Component-Based Software Engineering, September 1997.
|
|
| |
| Robert Allen and
David Garlan. Formal Modeling and Analysis of the HLA RTI. In Summary Report of the 1997 Spring Simulation Interoperability Workshop, Pages 1153-1161, Institute for Simulation and Training, Orlando, Florida, March 1997. IST-CF-97-01.2.
|
|
| |
|
David Garlan, Robert T. Monroe and David Wile. Acme: An Architecture Description Interchange Language. In Proceedings of CASCON'97, Pages 169-183, Toronto, Ontario, November 1997.
|
|
| |
|
Robert Monroe. Capturing Design Expertise in Customized Software Architecture Design Environments. In Proceedings of the Second International Software Architecture Workshop, October 1996.
|
|
| |
| Robert Allen and
David Garlan. A Case Study in Architectural Modelling: The AEGIS System. In Proceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8), Pages 6-15, Paderborn, Germany, March 1996.
|
|
| |
| Robert T. Monroe and
David Garlan. Style-based Reuse for Software Architectures. In Proceedings of the Fourth International Conference on Software Reuse, April 1996.
|
|
| |
|
David Garlan. What is Style? In Proceedings of the Dagstuhl Workshop on Software Architecture, Saarbruecken, Germany, February 1995.
|
|
| |
| Robert Allen. Formalism and Informalism in Architectural Style: A Case Study. In Proceedings of the First International Workshop on Architectures for Software Systems, April 1995.
|
|
| |
|
David Garlan, Robert Allen and John Ockerbloom. Architectural Mismatch, or, Why it's hard to build systems out of existing parts. In Proceedings of the 17th International Conference on Software Engineering, Pages 179-185, Seattle, Washington, April 1995. A revised and extended version of this paper appeared in IEEE Software, Volume 12, Issue 6, Nov. 1995 (pp. 17-26).
|
|
| |
|
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).
|
|
| |
| Gregory Abowd, Robert Allen and
David Garlan. Using Style to Understand Descriptions of Software Architecture. In Proceedings of SIGSOFT'93: Foundations of Software Engineering, Vol. 18(5):9-20 of Software Engineering Notes, ACM Press, December 1993.
|
|
| |
|
David Garlan and
Bradley Schmerl. Architecture-driven Modelling and Analysis. In Tony Cant editor, Proceedings of the 11th Australian Workshop on Safety Related Programmable Systems (SCS'06), Vol. 69 of Conferences in Research and Practice in Information Technology, Melbourne, Australia, 2006.
|
|
| |
| Thomas LaToza,
David Garlan, James Herbsleb and Brad Myers. Program Comprehension as Fact Finding. In Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Pages 361-370, Dubrovnik, Croatia, 3-7 September 2007. Available from the ACM Digital Library: http://doi.acm.org/10.1145/1287624.1287675.
|
|
| |
|
| |
|
David Garlan, Kathleen M. Carley,
Bradley Schmerl, Michael Bigrigg and
Orieta Celiku. Using Service-Oriented Architectures for Socio-Cultural Analysis. In Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering (SEKE2009), Boston, USA, 1-3 July 2009.
|
|
| |
|
| |
|
Vishal Dwivedi, Perla Velasco Elizondo, Jose Maria Fernandes,
David Garlan and
Bradley Schmerl. An Architectural Approach to End User Orchestrations. In Proceedings of the 5th European Conference on Software Architecture, 13-16 September 2011.
|
|
| |
|
David Garlan. Software Engineering in an Uncertain World. In Proceedings of the FSE/SDP workshop on Future of Software Engineering Research, Pages 125--128, ACM, New York, NY, USA, 2010. ISBN 978-1-4503-0427-6.
|
|
| |
|
David Garlan,
Vishal Dwivedi,
Ivan Ruchkin and
Bradley Schmerl. Foundations and Tools for End-User Architecting. In
David Garlan and R Calinescu editors, Large-Scale Complex IT Systems. Development, Operation and Management, 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Vol. 7539:157-182 of Lecture Notes in Computer Science, Springer, 2012. Book reference .
|
|
|
|
| |
| Marwan Abi-Antoun, Jonathan Aldrich, Nagi Nahas,
Bradley Schmerl and
David Garlan. Differencing and Merging of Architectural Views. Technical report, CMU-ISRI-05-128, Carnegie Mellon University Institute for Software Research International, 2005.
|
|
| |
|
| |
| Roshanak Roshandel,
Bradley Schmerl, Nenad Medvidovic,
David Garlan and Dehua Zhang. Using Multiple Views to Model and Analyze Software Architecture: An Experience Report. Technical report, USC-CSE-2003-508, University of Southern California, Center for Software Engineering, 2003.
|
|
| |
| Felix Bachmann, Len Bass, Paul Clements,
David Garlan, James Ivers, Reed Little, Robert Nord and Judith Stafford. Documenting Software Architecture: Documenting Interfaces. Technical report, CMU/SEI-2002-TN-015, Software Engineering Institute, 2002.
|
|
| |
| Felix Bachmann, Len Bass, Paul Clements,
David Garlan, James Ivers, Reed Little, Robert Nord and Judith Stafford. Documenting Software Architecture: Documenting Behavior. Technical report, CMU/SEI-2002-TN-001, Software Engineering Institute, 2002.
|
|
| |
| Felix Bachmann, Len Bass, Paul Clements,
David Garlan, James Ivers, Reed Little, Robert Nord and Judith Stafford. Documenting Software Architectures: Organization of Documentation Package. Technical report, CMU/SEI-2001-TN-010, Software Engineering Institute, 2001.
|
|
| |
| Juergen Dingel,
David Garlan and Craig Damon. A feasibility study of the HLA bridge. Technical report, CMU-CS-01-103, Carnegie Mellon University School of Computer Science, March 2001.
|
|
| |
|
Robert Monroe. Capturing Software Architecture Design Expertise With Armani. Technical report, CMU-CS-98-163, Carnegie Mellon University School of Computer Science, January 2001. Version 2.3.
|
|
| |
| Craig Damon, Ralph Melton, Elizabeth Bigelow, James Ivers and
David Garlan. Formalizing a Specification for Analysis: The HLA Ownership Properties. Technical report, CMU-CS-99-126, Carnegie Mellon University School of Computer Science, April 1999.
|
|
| |
| Felix Bachmann, Len Bass, Jeromy Carriere, Paul Clements,
David Garlan, James Ivers, Robert Nord and Reed Little. Software Architecture Documentation in Practice: Documenting Architectural Layers. Technical report, CMU/SEI-2000-SR-004, Software Engineering Institute, 2000.
|
|
| |
| 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.
|
|
| |
| Robert Allen and
David Garlan. Towards Formalized Software Architectures. Technical report, CMU-CS-92-163, Carnegie Mellon University, School of Computer Science, July 1992.
|
|
| |
| Marcelo Cataldo,
David Garlan, James Herbsleb, Amber Lynn McConahy,
Young-Suk Ahn Park and
Bradley Schmerl. Software Platforms for Smart Building Ecosystems: Understanding the Key Architectural Capabilities and Trade-offs. Technical report, CMU-ISR-13-104, Institute for Software Research, Carnegie Mellon University, 2013.
|
|
|
|
