David Garlan

According to our database1, David Garlan authored at least 220 papers between 1984 and 2019.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2013, "For contributions to the development of software architecture as a discipline in software engineering.".

IEEE Fellow

IEEE Fellow 2013, "For contributions to software architecture".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Building Long-Lived Adaptive Systems.
IEEE Software, 2019

Model-Based Adaptation for Robotics Software.
IEEE Software, 2019

Synthesizing tradeoff spaces with quantitative guarantees for families of software systems.
Journal of Systems and Software, 2019

Managing safety and mission completion via collective run-time adaptation.
Journal of Systems Architecture - Embedded Systems Design, 2019

Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots.
CoRR, 2019

An Automated Approach to Management of a Collection of Autonomic Systems.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Modeling observability in adaptive systems to defend against advanced persistent threats.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Trade-off-oriented development: making quality attribute trade-offs first-class.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Kubow: an architecture-based self-adaptation service for cloud native applications.
Proceedings of the 13th European Conference on Software Architecture, 2019

2018
Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation.
TAAS, 2018

Half a Century of Software Engineering Education: The CMU Exemplar.
IEEE Software, 2018

Reasoning about sensing uncertainty and its reduction in decision-making for self-adaptation.
Sci. Comput. Program., 2018

MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs.
Autom. Softw. Eng., 2018

Towards explainable multi-objective probabilistic planning.
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

SWIM: an exemplar for evaluation and comparison of self-adaptation approaches for web applications.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Uncertainty reduction in self-adaptive systems.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Managing uncertainty in self-adaptive systems with plan reuse and stochastic search.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Quantitative underpinnings of secure, graceful degradation: poster.
Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

IPL: An Integration Property Language for Multi-model Cyber-physical Systems.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

Generality vs. reusability in architecture-based self-adaptation: the case for self-adaptive microservices.
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2017
The 2nd Controlled Adaptation of Self-Adaptive Systems Workshop (CASaS2017) (NII Shonan Meeting 2017-10).
NII Shonan Meet. Rep., 2017

Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
DARTS, 2017

Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation.
Proceedings of the Software Engineering and Formal Methods, 2017

Instance-Based Learning for Hybrid Planning.
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017

What Ails End-User Composition: A Cross-Domain Qualitative Study.
Proceedings of the End-User Development - 6th International Symposium, 2017

Synthesis and Quantitative Verification of Tradeoff Spaces for Families of Software Systems.
Proceedings of the Software Architecture - 11th European Conference, 2017

Model-based Cluster Analysis for Identifying Suspicious Activity Sequences in Software.
Proceedings of the 3rd ACM on International Workshop on Security And Privacy Analytics, 2017

2016
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations.
TAAS, 2016

Adaptation impact and environment models for architecture-based self-adaptive systems.
Sci. Comput. Program., 2016

Improving self-adaptation planning through software architecture-based stochastic modeling.
Journal of Systems and Software, 2016

Incorporating architecture-based self-adaptation into an adaptive industrial software system.
Journal of Systems and Software, 2016

Challenges in physical modeling for adaptation of cyber-physical systems.
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

Hybrid Planning for Decision Making in Self-Adaptive Systems.
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Multiscale time abstractions for long-range planning under uncertainty.
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation.
Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

Raindroid: a system for run-time mitigation of Android intent vulnerabilities [poster].
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

A model-based approach to anomaly detection in software architectures.
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

Architecture Modeling and Analysis of Security in Android Systems.
Proceedings of the Software Architecture - 10th European Conference, 2016

2015
Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS.
ACM SIGSOFT Software Engineering Notes, 2015

Proactive self-adaptation under uncertainty: a probabilistic model checking approach.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Task Planning of Cyber-Human Systems.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Optimal planning for architecture-based self-adaptation via model checking of stochastic games.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems.
Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Modeling Challenges for CPS Systems.
Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015

SASS: Self-Adaptation Using Stochastic Search.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

Reasoning about Human Participation in Self-Adaptive Systems.
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

An architecture style for Android security analysis: poster.
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

Detecting insider threats in software systems using graph models of behavioral paths.
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.
Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, 2015

Architectural Abstractions for Hybrid Programs.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014
Supporting Heterogeneity in Cyber-Physical Systems Architectures.
IEEE Trans. Automat. Contr., 2014

Evolution styles: foundations and models for software architecture evolution.
Software and Systems Modeling, 2014

Architecture-Based Planning of Software Evolution.
International Journal of Software Engineering and Knowledge Engineering, 2014

Model-Based Assistance for Making Time/Fidelity Trade-Offs in Component Compositions.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

Software architecture: a travelogue.
Proceedings of the on Future of Software Engineering, 2014

Diagnosing unobserved components in self-adaptive systems.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Stochastic game analysis and latency awareness for proactive self-adaptation.
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

Architecture-based self-protection: composing and reasoning about denial-of-service mitigations.
Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Impact Models for Architecture-Based Self-adaptive Systems.
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Contract-based integration of cyber-physical analyses.
Proceedings of the 2014 International Conference on Embedded Software, 2014

2013
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511).
Dagstuhl Reports, 2013

Architecture-based self-protecting software systems.
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

Automated planning for software architecture evolution.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Resolving Data Mismatches in End-User Compositions.
Proceedings of the End-User Development - 4th International Symposium, 2013

A 10-year perspective on software engineering self-adaptive systems (keynote).
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Diagnosing architectural run-time failures.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Evolving an adaptive industrial software system to use architecture-based self-adaptation.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Challenges in developing a software architecture evolution tool as a plug-in.
Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013


Analyzing Self-Adaptation Via Model Checking of Stochastic Games.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012
Stitch: A language for architecture-based self-adaptation.
Journal of Systems and Software, 2012

Foundations and Tools for End-User Architecting
CoRR, 2012

Foundations and Tools for End-User Architecting.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

2011
Invited Talk - Engineering Self-Healing and Self-Improving Systems.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Software architecture: reflections on an evolving discipline.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

SORASCS: a case study in soa-based platform design for socio-cultural analysis.
Proceedings of the 33rd International Conference on Software Engineering, 2011

View Consistency in Architectures for Cyber-Physical Systems.
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011

An Architectural Approach to End User Orchestrations.
Proceedings of the Software Architecture - 5th European Conference, 2011

Architecture-Based Run-Time Fault Diagnosis.
Proceedings of the Software Architecture - 5th European Conference, 2011

Using parameters in architectural views to support heterogeneous design and verification.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Analyzing architectural styles.
Journal of Systems and Software, 2010

Software engineering in an uncertain world.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Architectural Mismatch: Why Reuse Is Still So Hard.
IEEE Software, 2009

An Architectural Approach to the Design and Analysis of Cyber-Physical Systems.
ECEASST, 2009

Improving Architecture-Based Self-adaptation Using Preemption.
Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

Evolution styles: Foundations and tool support for software architecture evolution.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Using Service-oriented Architectures for Socio-Cultural Analysis.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Invited Talk: Rainbow: Engineering Support for Self-Healing Systems.
Proceedings of the XXIII Brazilian Symposium on Software Engineering, 2009

Ævol: A tool for defining and planning architecture evolution.
Proceedings of the 31st International Conference on Software Engineering, 2009

SEAMS 2009: Software engineering for adaptive and self-managing systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

Evaluating the effectiveness of the Rainbow self-adaptive system.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

RAIDE for engineering architecture-based self-adaptive systems.
Proceedings of the 31st International Conference on Software Engineering, 2009

Towards engineered architecture evolution.
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

Improving Architecture-Based Self-Adaptation through Resource Prediction.
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Software Architecture-Based Self-Adaptation.
Proceedings of the Autonomic Computing and Networking, 2009

2008
Software Architecture.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Differencing and merging of architectural views.
Autom. Softw. Eng., 2008

Steps toward activity-oriented computing.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

A Software Infrastructure for User-Guided Quality-of-Service Tradeoffs.
Proceedings of the Software and Data Technologies - Third International Conference, 2008

User Guidance of Resource-Adaptive Systems.
Proceedings of the ICSOFT 2008, 2008

2007
The Radar Architecture for Personal Cognitive Assistance.
International Journal of Software Engineering and Knowledge Engineering, 2007

Program comprehension as fact finding.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Leveraging Resource Prediction for Anticipatory Dynamic Configuration.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Software Architectures for Task-Oriented Computing.
Proceedings of the Software Architecture, First European Conference, 2007

2006
Discovering Architectures from Running Systems.
IEEE Trans. Software Eng., 2006

Developing adaptive systems with synchronized architectures.
Journal of Systems and Software, 2006

An Architecture for Personal Cognitive Assistance.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Design fragments make using frameworks easier.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Using framework interfaces with design fragments.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Differencing and Merging of Architectural Views.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Analyzing architectural styles with alloy.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Architecture-based self-adaptation in the presence of multiple objectives.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

Software engineering for adaptive and self-managing systems.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
DEAS 2005: workshop on the design and evolution of autonomic application software.
ACM SIGSOFT Software Engineering Notes, 2005

Improving system dependability by enforcing architectural intent.
ACM SIGSOFT Software Engineering Notes, 2005

Context is key.
Commun. ACM, 2005

Adaptor Synthesis for Protocol-Enhanced Component Based Architectures.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Software Architecture Evaluation and Analysis Session Report.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Dynamically discovering architectures with DiscoTect.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Bridging the Gap between Systems Design.
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

DEAS 2005: workshop on the design and evolution of autonomic application software.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Modeling and implementing software architecture with acme and archJava.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Synchronized Architectures for Adaptive Systems.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Making Self-Adaptation an Engineering Reality.
Proceedings of the Self-star Properties in Complex Information Systems, 2005

2004
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure.
IEEE Computer, 2004

Task-based self-adaptation.
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

Understanding Tradeoffs among Different Architectural Modeling Approaches.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

An Architecture for Coordinating Multiple Self-Management Systems.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Modeling and implementing software architecture with acme and archJava.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience.
Proceedings of the 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 2004

DiscoTect: A System for Discovering Architectures from Running Systems.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

AcmeStudio: Supporting Style-Centered Architecture Development.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Dynamic Configuration of Resource-Aware Services.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure.
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

Using Architectural Models at Runtime: Research Challenges.
Proceedings of the Software Architecture, First European Workshop, 2004

2003
Model Checking Publish-Subscribe Systems.
Proceedings of the Model Checking Software, 2003

Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events.
Proceedings of the Formal Methods for Software Architectures, 2003

A Compositional Formalization of Connector Wrappers.
Proceedings of the 25th International Conference on Software Engineering, 2003

Documenting Software Architectures: Views and Beyond.
Proceedings of the 25th International Conference on Software Engineering, 2003

2002
Reconciling the needs of architectural description with object-modeling notations.
Sci. Comput. Program., 2002

Project Aura: Toward Distraction-Free Pervasive Computing.
IEEE Pervasive Computing, 2002

Model-based adaptation for self-healing systems.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments.
Proceedings of the Software Architecture: System Design, Development and Maintenance, IFIP 17<sup>th</sup> World Computer Congress, 2002

Using Architectural Style as a Basis for System Self-repair.
Proceedings of the Software Architecture: System Design, Development and Maintenance, IFIP 17<sup>th</sup> World Computer Congress, 2002

Software, Heal Thyself!
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Exploiting architectural design knowledge to support self-repairing systems.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Increasing System Dependability through Architecture-Based Self-Repair.
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

Software Architecture-Based Adaptation for Grid Computing.
Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing (HPDC-11 2002), 2002

Bridging the HLA: Problems and Solutions.
Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002

Software Architecture-Based Adaptation for Pervasive Systems.
Proceedings of the Trends in Network and Pervasive Computing, 2002

2001
Guest Editors' Introduction: 1999 International Conference on Software Engineering.
IEEE Trans. Software Eng., 2001

Formal modeling of the Enterprise JavaBeans(TM) component integration framework.
Information & Software Technology, 2001

A Compositional Approach for Constructing Connectors.
Proceedings of the 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 2001

Aura: Distraction-Free Ubiquitous Computing.
Proceedings of the Engineering for Human-Computer Interaction, 2001

2000
Modeling of Architectures with UML (Panel).
Proceedings of the «UML» 2000, 2000

Reconciling the Needs of Architectural Description with Object-Modeling Notations.
Proceedings of the «UML» 2000, 2000

Model Checking Implicit-Invocation Systems.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Software architecture: a roadmap.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework.
Proceedings of the FM'99 - Formal Methods, 1999

Acme-Based Software Architecture Interchange.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
Errata: A Formal Basis for Architectural Connection.
ACM Trans. Softw. Eng. Methodol., 1998

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.
Formal Asp. Comput., 1998

Reasoning about Implicit Invocation.
Proceedings of the SIGSOFT '98, 1998

Formal Modeling and Analysis of the HLA Component Integration Standard.
Proceedings of the SIGSOFT '98, 1998

Specifying and Analyzing Dynamic Software Architectures.
Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997
A Formal Basis for Architectural Connection.
ACM Trans. Softw. Eng. Methodol., 1997

Architectural Styles, Design Patterns, And Objects.
IEEE Software, 1997

Agents of Change: Educating Software Engineering Leaders.
IEEE Computer, 1997

Architectural unification.
Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative Research, 1997

Acme: an architecture description interchange language.
Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative Research, 1997

1996
Style-based reuse for software architectures.
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

Software architecture - perspectives on an emerging discipline.
Prentice Hall, ISBN: 978-0-13-182957-2, 1996

1995
Introduction to the Special Issue on Software Architecture.
IEEE Trans. Software Eng., 1995

Formalizing Style to Understand Descriptions of Software Architecture.
ACM Trans. Softw. Eng. Methodol., 1995

Architectural Mismatch: Why Reuse Is So Hard.
IEEE Software, 1995

Making formal methods education effective for professional software engineers.
Information & Software Technology, 1995

Research Directions on Software Architecture.
ACM Comput. Surv., 1995

Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel).
Proceedings of the SIGSOFT '95, 1995

Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts.
Proceedings of the 17th International Conference on Software Engineering, 1995

The CMU Master of Software Engineering Core Curriculum.
Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

Formulations and Formalisms in Software Architecture.
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994
TransformGen: Automating the Maintenance of Structure-Oriented Environments.
ACM Trans. Program. Lang. Syst., 1994

Integrating Formal Methods into a Professional Master of Software Engineering Program.
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

Exploiting Style in Architectural Design Environments.
Proceedings of the SIGSOFT '94, 1994

Using Refinement to Understand Architectural Connection.
Proceedings of the 6th Refinement Workshop, 1994

The role of software architecture in requirements engineering.
Proceedings of the First IEEE International Conference on Requirements Engineering, 1994

Beyond Definition/Use: Architectural Interconnection.
Proceedings of the Workshop on Interface Definition Languages, 1994

Nico Habermann's Research: A Brief Retrospective.
Proceedings of the 16th International Conference on Software Engineering, 1994

Software Architecture: Practice, Potential, and Pitfalls.
Proceedings of the 16th International Conference on Software Engineering, 1994

Formalizing Architectural Connection.
Proceedings of the 16th International Conference on Software Engineering, 1994

1993
Using Style to Understand Descriptions of Software Architecture.
Proceedings of the SIGSOFT '93, 1993

Should we specify systems or domain?
Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Adding Implicit Invocation to Languages: Three Approaches.
Proceedings of the Object Technologies for Advanced Software, 1993

Adding Implicit Invocation to Rraditional Programming Languages.
Proceedings of the 15th International Conference on Software Engineering, 1993

Formal Approaches to Software Architecture.
Proceedings of the Studies of Software Design, 1993

1992
Using Tool Abstraction to Compose Systems.
IEEE Computer, 1992

A transformational approach to generating application-specific environments.
Proceedings of the SDE 5: 5th ACM SIGSOFT Symposium on Software Development Environments, 1992

Development Environments for Software Architecture.
Proceedings of the Algorithms, Software, Architecture, 1992

A Formal Approach to Software Architectures.
Proceedings of the Algorithms, Software, Architecture, 1992

Experience with a Course on Architectures for Software Systems.
Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

Formal Methods for Software Engineers: Tradeoffs in Curriculum Design.
Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

1991
Formalizing Design Spaces: Implicit Invocation Mechanisms.
Proceedings of the VDM '91, 1991

1990
A Formal Specification of an Oscilloscope.
IEEE Software, 1990

Low-cost, adaptable tool integration policies for integrated environments.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

Formal Specifications as Reusable Frameworks.
Proceedings of the VDM '90, 1990

1989
The role of formalized domain-specific software frameworks.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1987
Melding Software Systems from Reusable Building Blocks.
IEEE Software, 1987

Extending IDL to Support Concurrent Views.
SIGPLAN Notices, 1987

MELDing Data Flow and Object-Oriented Programming.
Proceedings of the Conference on Object-Oriented Programming Systems, 1987

1986
A structural approach to the maintenance of structure-oriented environments.
Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986

Views for Tools in Integrated Environments.
Proceedings of the Advanced Programming Environments, 1986

Integrated programming environments based on structure editing (panel session).
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1984
GNOME: An Introductory Programming Environment Based on a Family of STructured Editors.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984


  Loading...