The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David Garlan" ( http://dblp.L3S.de/Authors/David_Garlan )

URL (Homepage):  http://www.cs.cmu.edu/~garlan/  Author page on DBLP  Author page in RDF  Community of David Garlan in ASPL-2

Publication years (Num. hits)
1984-1992 (18) 1993-1995 (19) 1996-1999 (15) 2000-2002 (19) 2003-2004 (17) 2005-2006 (22) 2007-2009 (21) 2010-2011 (8)
Publication types (Num. hits)
article(28) book(1) incollection(2) inproceedings(104) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 73 occurrences of 46 keywords

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