| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vishal Dwivedi, Perla Velasco Elizondo, José Maria Fernandes, David Garlan, Bradley R. Schmerl |
An Architectural Approach to End User Orchestrations.  |
ECSA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Casanova, Bradley R. Schmerl, David Garlan, Rui Abreu |
Architecture-Based Run-Time Fault Diagnosis.  |
ECSA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan |
Using parameters in architectural views to support heterogeneous design and verification.  |
CDC-ECE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bradley R. Schmerl, David Garlan, Vishal Dwivedi, Michael W. Bigrigg, Kathleen M. Carley |
SORASCS: a case study in soa-based platform design for socio-cultural analysis.  |
ICSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Mary Shaw |
Software architecture: reflections on an evolving discipline.  |
SIGSOFT FSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jung Soo Kim, David Garlan |
Analyzing architectural styles.  |
Journal of Systems and Software  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor |
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
autonomic computing, adaptive software |
| 1 | David Garlan |
Software engineering in an uncertain world.  |
FoSER  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave |
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems.  |
ECEASST  |
2009 |
DBLP BibTeX RDF |
|
| 1 | David Garlan, Robert Allen, John Ockerbloom |
Architectural Mismatch: Why Reuse Is Still So Hard.  |
IEEE Software  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Jeffrey M. Barnes, Bradley R. Schmerl, Orieta Celiku |
Evolution styles: Foundations and tool support for software architecture evolution.  |
WICSA/ECSA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Raheja, Shang-Wen Cheng, David Garlan, Bradley R. Schmerl |
Improving Architecture-Based Self-adaptation Using Preemption.  |
SOAR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wen Cheng, Vahe Poladian, David Garlan, Bradley R. Schmerl |
Improving Architecture-Based Self-Adaptation through Resource Prediction.  |
Software Engineering for Self-Adaptive Systems ![In: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], pp. 71-88, 2009, Springer, 978-3-642-02160-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software architecture, autonomic computing, self-adaptation, resource prediction |
| 1 | David Garlan, Kathleen M. Carley, Bradley R. Schmerl, Michael W. Bigrigg, Orieta Celiku |
Using Service-oriented Architectures for Socio-Cultural Analysis.  |
SEKE  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor |
SEAMS 2009: Software engineering for adaptive and self-managing systems.  |
ICSE Companion  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Bradley R. Schmerl |
Ævol: A tool for defining and planning architecture evolution.  |
ICSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl |
RAIDE for engineering architecture-based self-adaptive systems.  |
ICSE Companion  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl |
Evaluating the effectiveness of the Rainbow self-adaptive system.  |
SEAMS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan |
Differencing and merging of architectural views.  |
Autom. Softw. Eng.  |
2008 |
DBLP DOI BibTeX RDF |
Tree-to-tree correction, Graph matching, View synchronization |
| 1 | David Garlan |
Software Architecture.  |
Wiley Encyclopedia of Computer Science and Engineering  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | João Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian, David Garlan, Mahadev Satyanarayanan |
User Guidance of Resource-Adaptive Systems.  |
ICSOFT (SE/MUSE/GSDCA)  |
2008 |
DBLP BibTeX RDF |
|
| 1 | João Pedro Sousa, Vahe Poladian, David Garlan, Bradley R. Schmerl, Peter Steenkiste |
Steps toward activity-oriented computing.  |
IPDPS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan |
Software Architectures for Task-Oriented Computing.  |
ACIS-ICIS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Bradley R. Schmerl |
The Radar Architecture for Personal Cognitive Assistance.  |
International Journal of Software Engineering and Knowledge Engineering  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahe Poladian, David Garlan, Mary Shaw, M. Satyanarayanan, Bradley R. Schmerl, João Pedro Sousa |
Leveraging Resource Prediction for Anticipatory Dynamic Configuration.  |
SASO  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan |
Software Architectures for Task-Oriented Computing.  |
ECSA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor |
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.  |
SEAMS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor |
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.  |
ICSE Companion  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas D. LaToza, David Garlan, James D. Herbsleb, Brad A. Myers |
Program comprehension as fact finding.  |
ESEC/SIGSOFT FSE  |
2007 |
DBLP DOI BibTeX RDF |
code navigation, reverse engineering, empirical study, program comprehension, expertise, science of design |
| 1 | Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan |
Discovering Architectures from Running Systems.  |
IEEE Trans. Software Eng.  |
2006 |
DBLP DOI BibTeX RDF |
Software architecture discovery, architecture design tools and analyses, reverse engineering |
| 1 | Tiberiu Seceleanu, David Garlan |
Developing adaptive systems with synchronized architectures.  |
Journal of Systems and Software  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jung Soo Kim, David Garlan |
Analyzing architectural styles with alloy.  |
ROSATEA  |
2006 |
DBLP DOI BibTeX RDF |
software architecture, architectural style, style analysis |
| 1 | Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan |
Differencing and Merging of Architectural Views.  |
ASE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | George Fairbanks, David Garlan, William L. Scherlis |
Design fragments make using frameworks easier.  |
OOPSLA  |
2006 |
DBLP DOI BibTeX RDF |
design fragments, object-oriented programming, frameworks, patterns |
| 1 | George Fairbanks, David Garlan, William L. Scherlis |
Design fragments make using frameworks easier.  |
OOPSLA Companion  |
2006 |
DBLP DOI BibTeX RDF |
design fragments, object-oriented programming, frameworks, patterns |
| 1 | George Fairbanks, David Garlan, William L. Scherlis |
Using framework interfaces with design fragments.  |
OOPSLA Companion  |
2006 |
DBLP DOI BibTeX RDF |
design fragments, object-oriented programming, frameworks, patterns |
| 1 | David Garlan, Bradley R. Schmerl |
An Architecture for Personal Cognitive Assistance.  |
SEKE  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Betty H. C. Cheng, David Garlan, Rogério de Lemos, Jeff Magee, Richard Taylor, Stephen Fickas, Hausi A. Müller |
Software engineering for adaptive and self-managing systems.  |
ICSE  |
2006 |
DBLP DOI BibTeX RDF |
self-adaptive, self-healing, autonomic, self-management, self-optimizing |
| 1 | Joëlle Coutaz, James L. Crowley, Simon Dobson, David Garlan |
Context is key.  |
Commun. ACM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng |
Improving system dependability by enforcing architectural intent.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Marin Litoiu, Hausi A. Müller, John Mylopoulos, Dennis B. Smith, Kenny Wong |
DEAS 2005: workshop on the design and evolution of autonomic application software.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
autonomic computing, self-managed systems |
| 1 | Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas |
Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures.  |
WICSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Tivoli, David Garlan |
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures.  |
WICSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan |
Software Architecture Evaluation and Analysis Session Report.  |
WICSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | João Pedro Sousa, Vahe Poladian, David Garlan, Bradley R. Schmerl |
Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation.  |
CAiSE Workshops  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl |
Making Self-Adaptation an Engineering Reality.  |
Self-star Properties in Complex Information Systems ![In: Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004], pp. 158-173, 2005, Springer, 3-540-26009-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng |
Bridging the Gap between Systems Design.  |
SEW  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiberiu Seceleanu, David Garlan |
Synchronized Architectures for Adaptive Systems.  |
COMPSAC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, John Mylopoulos, Marin Litoiu, Dennis B. Smith, Hausi A. Müller, Kenny Wong |
DEAS 2005: workshop on the design and evolution of autonomic application software.  |
ICSE  |
2005 |
DBLP DOI BibTeX RDF |
autonomic computing, self-managed systems |
| 1 | Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng |
Modeling and implementing software architecture with acme and archJava.  |
ICSE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bradley R. Schmerl, David Garlan, Hong Yan |
Dynamically discovering architectures with DiscoTect.  |
ESEC/SIGSOFT FSE  |
2005 |
DBLP DOI BibTeX RDF |
architecture design tools and analyses, architecture discovery, reverse engineering |
| 1 | David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley R. Schmerl, Peter Steenkiste |
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure.  |
IEEE Computer  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roshanak Roshandel, Bradley R. Schmerl, Nenad Medvidovic, David Garlan, Dehua Zhang |
Understanding Tradeoffs among Different Architectural Modeling Approaches.  |
WICSA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley R. Schmerl, Peter Steenkiste |
An Architecture for Coordinating Multiple Self-Management Systems.  |
WICSA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Bradley R. Schmerl |
Using Architectural Models at Runtime: Research Challenges.  |
EWSA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Vahe Poladian, Bradley R. Schmerl, João Pedro Sousa |
Task-based self-adaptation.  |
WOSS  |
2004 |
DBLP DOI BibTeX RDF |
task-aware computing, utility-based optimization, software architecture, self-adaptation, self-management |
| 1 | David Garlan, Jeff Kramer, Alexander L. Wolf (eds.) |
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004  |
WOSS  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley R. Schmerl, Peter Steenkiste |
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure.  |
ICAC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng |
Modeling and implementing software architecture with acme and archJava.  |
OOPSLA Companion  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng |
Modeling and implementing software architecture with acme and archJava.  |
OOPSLA Companion  |
2004 |
DBLP DOI BibTeX RDF |
languages |
| 1 | Barry W. Boehm, Jesal Bhuta, David Garlan, Eric Gradman, LiGuo Huang, Alexander Lam, Raymond J. Madachy, Nenad Medvidovic, Kenneth Meyer, Steven Meyers, Gustavo Pérez, Kirk Reinholtz, Roshanak Roshandel, Nicolas Rouquette |
Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience.  |
ISESE  |
2004 |
DBLP DOI BibTeX RDF |
SCRover, empirical testbeds, seeded defects, Empirical methods, technology evaluation, software dependability, architecture definition languages |
| 1 | Vahe Poladian, João Pedro Sousa, David Garlan, Mary Shaw |
Dynamic Configuration of Resource-Aware Services.  |
ICSE  |
2004 |
DBLP DOI BibTeX RDF |
multi-fidelity applications, Ubiquitous computing, resource allocation, service composition, resource-aware |
| 1 | Bradley R. Schmerl, David Garlan |
AcmeStudio: Supporting Style-Centered Architecture Development.  |
ICSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman |
DiscoTect: A System for Discovering Architectures from Running Systems.  |
ICSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Serge Khersonsky, Jung Soo Kim |
Model Checking Publish-Subscribe Systems.  |
SPIN  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan |
Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events.  |
SFM  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bridget Spitznagel, David Garlan |
A Compositional Formalization of Connector Wrappers. (PDF / PS)  |
ICSE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Clements, David Garlan, Reed Little, Robert L. Nord, Judith A. Stafford |
Documenting Software Architectures: Views and Beyond. (PDF / PS)  |
ICSE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Shang-Wen Cheng, Andrew Kompanek |
Reconciling the needs of architectural description with object-modeling notations.  |
Sci. Comput. Program.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl, Peter Steenkiste, Ningning Hu |
Software Architecture-Based Adaptation for Grid Computing.  |
HPDC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl, João Pedro Sousa, Bridget Spitznagel, Peter Steenkiste, Ningning Hu |
Software Architecture-Based Adaptation for Pervasive Systems.  |
ARCS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | João Pedro Sousa, David Garlan |
Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments.  |
WICSA  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Shang-Wen Cheng, David Garlan, Bradley R. Schmerl, João Pedro Sousa, Bridget Spitznagel, Peter Steenkiste |
Using Architectural Style as a Basis for System Self-repair.  |
WICSA  |
2002 |
DBLP BibTeX RDF |
|
| 1 | David Garlan |
Software, Heal Thyself!  |
UML  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Bradley R. Schmerl |
Model-based adaptation for self-healing systems.  |
WOSS  |
2002 |
DBLP DOI BibTeX RDF |
software architecture, model-based systems, self-healing systems |
| 1 | David Garlan, Jeff Kramer, Alexander L. Wolf (eds.) |
Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002  |
WOSS  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Bradley R. Schmerl, David Garlan |
Exploiting architectural design knowledge to support self-repairing systems.  |
SEKE  |
2002 |
DBLP DOI BibTeX RDF |
reflective systems, software architecture tools, software architecture, dynamic adaptation |
| 1 | David Garlan, Shang-Wen Cheng, Bradley R. Schmerl |
Increasing System Dependability through Architecture-Based Self-Repair.  |
WADS ![In: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], pp. 61-89, 2002, Springer, 978-3-540-40727-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dingel, David Garlan, Craig Damon |
Bridging the HLA: Problems and Solutions.  |
DS-RT  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Kramer, David Garlan, David S. Rosenblum |
Guest Editors' Introduction: 1999 International Conference on Software Engineering.  |
IEEE Trans. Software Eng.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | João Pedro Sousa, David Garlan |
Formal modeling of the Enterprise JavaBeans(TM) component integration framework.  |
Information & Software Technology  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan |
Aura: Distraction-Free Ubiquitous Computing.  |
EHCI  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Bridget Spitznagel, David Garlan |
A Compositional Approach for Constructing Connectors.  |
WICSA  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Weigert, David Garlan, John Knapman, Birger Møller-Pedersen, Bran Selic |
Modeling of Architectures with UML (Panel).  |
UML  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Andrew Kompanek |
Reconciling the Needs of Architectural Description with Object-Modeling Notations.  |
UML  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Serge Khersonsky |
Model Checking Implicit-Invocation Systems.  |
IWSSD  |
2000 |
DBLP BibTeX RDF |
model checking, publish-subscribe, Implicit invocation |
| 1 | David Garlan |
Software architecture: a roadmap.  |
ICSE - Future of SE Track  |
2000 |
DBLP DOI BibTeX RDF |
software engineering, software architecture, software design |
| 1 | David Garlan, Zhenyu Wang |
Acme-Based Software Architecture Interchange.  |
COORDINATION  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | João Pedro Sousa, David Garlan |
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework.  |
World Congress on Formal Methods  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry W. Boehm, David Garlan, Jeff Kramer (eds.) |
Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999.  |
ICSE  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dingel, David Garlan, Somesh Jha, David Notkin |
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.  |
Formal Asp. Comput.  |
1998 |
DBLP DOI BibTeX RDF |
Rely/guarantee, Assumption/commitment, Implicit invocation |
| 1 | Robert Allen, David Garlan |
Errata: A Formal Basis for Architectural Connection.  |
ACM Trans. Softw. Eng. Methodol.  |
1998 |
DBLP DOI BibTeX RDF |
WRIGHT, module interconnection, model-checking, formal models, software analysis |
| 1 | Robert Allen, Rémi Douence, David Garlan |
Specifying and Analyzing Dynamic Software Architectures.  |
FASE  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Allen, David Garlan |
Formal Modeling and Analysis of the HLA Component Integration Standard.  |
SIGSOFT FSE  |
1998 |
DBLP DOI BibTeX RDF |
component integration standards, protocol families, software architecture, formal specification, component-based software |
| 1 | David Garlan, Somesh Jha, David Notkin |
Reasoning about Implicit Invocation.  |
SIGSOFT FSE  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert T. Monroe, Andrew Kompanek, Ralph E. Melton, David Garlan |
Architectural Styles, Design Patterns, And Objects.  |
IEEE Software  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Allen, David Garlan |
A Formal Basis for Architectural Connection.  |
ACM Trans. Softw. Eng. Methodol.  |
1997 |
DBLP DOI BibTeX RDF |
WRIGHT, module interconnection, model-checking, formal models, software analysis |
| 1 | David Garlan, David P. Gluch, James E. Tomayko |
Agents of Change: Educating Software Engineering Leaders.  |
IEEE Computer  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan, Daniel Le Métayer (eds.) |
Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings  |
COORDINATION  |
1997 |
DBLP BibTeX RDF |
|
| 1 | David Garlan, Robert T. Monroe, David Wile |
Acme: an architecture description interchange language.  |
CASCON  |
1997 |
DBLP DOI BibTeX RDF |
|