David Garlan
Orcid: 0000-0002-6735-8301Affiliations:
- Carnegie Mellon University, Pittsburgh, USA
According to our database1,
David Garlan
authored at least 279 papers
between 1984 and 2024.
Collaborative distances:
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 Dataset OtherLinks
Online presence:
-
on orcid.org
-
on d-nb.info
-
on cs.cmu.edu
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems Via Dimensionality Reduction.
IEEE Softw., 2024
CoRR, 2024
2023
IEEE Robotics Autom. Lett., July, 2023
Explaining quality attribute tradeoffs in automated planning for self-adaptive systems.
J. Syst. Softw., April, 2023
J. Syst. Softw., April, 2023
A negotiation support system for defining utility functions for multi-stakeholder self-adaptive systems.
Requir. Eng., March, 2023
Learning by Redoing: An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers.
IEEE Softw., 2023
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations.
CoRR, 2023
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Proceedings of the IEEE International Conference on Cloud Engineering, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
Proceedings of the Software Architecture - 17th European Conference, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
ACM Trans. Auton. Adapt. Syst., December, 2022
Softw. Syst. Model., 2022
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems : Artifact Paper.
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022
ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems.
Proceedings of the 19th IEEE International Conference on Software Architecture, 2022
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022
2021
Information Reuse and Stochastic Search: Managing Uncertainty in Self-<sup>*</sup> Systems.
ACM Trans. Auton. Adapt. Syst., 2021
IEEE Softw., 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021
Proceedings of the Fundamental Approaches to Software Engineering, 2021
Proceedings of the Software Architecture - 15th European Conference, 2021
Proceedings of the ECSA 2021 Companion Volume, 2021
Proceedings of the Software Architecture - 15th European Conference, 2021
Proceedings of the Software Architecture - 15th European Conference, 2021
Proceedings of the ECSA 2021 Companion Volume, 2021
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the 29th IEEE International Conference on Robot and Human Interactive Communication, 2020
TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling.
Proceedings of the 28th International Symposium on Modeling, 2020
How do you architect your robots?: state of the practice and guidelines for ROS-based systems.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020
Reasoning about When to Provide Explanation for Human-involved Self-Adaptive Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2019
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems.
J. Syst. Softw., 2019
J. Syst. Archit., 2019
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
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019
Proceedings of the 13th European Conference on Software Architecture, 2019
2018
ACM Trans. Auton. Adapt. Syst., 2018
IEEE Softw., 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
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
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018
Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018
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.
Dagstuhl Artifacts Ser., 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017
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
ACM Trans. Auton. Adapt. Syst., 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.
J. Syst. Softw., 2016
Incorporating architecture-based self-adaptation into an adaptive industrial software system.
J. Syst. Softw., 2016
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016
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
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016
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 Softw. Eng. 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
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
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
Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015
Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015
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
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015
2014
IEEE Trans. Autom. Control., 2014
Softw. Syst. Model., 2014
Int. J. Softw. Eng. Knowl. Eng., 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
Proceedings of the on Future of Software Engineering, 2014
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014
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
Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014
Proceedings of the 2014 International Conference on Embedded Software, 2014
2013
Dagstuhl Reports, 2013
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the End-User Development - 4th International Symposium, 2013
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013
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
Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
2012
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
2011
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
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
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011
Proceedings of the Software Architecture - 5th European Conference, 2011
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
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
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Proceedings of the Self-Organizing Architectures, First International Workshop, 2009
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
Proceedings of the XXIII Brazilian Symposium on Software Engineering, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009
Proceedings of the Autonomic Computing and Networking, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
Proceedings of the Software and Data Technologies - Third International Conference, 2008
User Guidance of Resource-Adaptive Systems.
Proceedings of the ICSOFT 2008, 2008
Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008
2007
Int. J. Softw. Eng. Knowl. Eng., 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007
2006
IEEE Trans. Syst. Man Cybern. Syst., 2006
An Architecture for Personal Cognitive Assistance.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
2005
ACM SIGSOFT Softw. Eng. Notes, 2005
ACM SIGSOFT Softw. Eng. Notes, 2005
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005
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
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
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
Proceedings of the Self-star Properties in Complex Information Systems, 2005
2004
Computer, 2004
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004
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
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the Software Architecture, First European Workshop, 2004
2003
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
Proceedings of the 25th International Conference on Software Engineering, 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
2002
Sci. Comput. Program., 2002
IEEE Pervasive Comput., 2002
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
Proceedings of the Software Architecture: System Design, Development and Maintenance, IFIP 17<sup>th</sup> World Computer Congress, 2002
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002
Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing (HPDC-11 2002), 2002
Proceedings of the 6th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2002), 2002
Proceedings of the Trends in Network and Pervasive Computing, 2002
2001
IEEE Trans. Software Eng., 2001
Inf. Softw. Technol., 2001
Proceedings of the 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 2001
Proceedings of the Engineering for Human-Computer Interaction, 2001
2000
Proceedings of the «UML» 2000, 2000
Proceedings of the 10th International Workshop on Software Specification and Design, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
1999
Formal Modeling of the Enterprise JavaBeans<sup>TM</sup> Component Integration Framework.
Proceedings of the FM'99 - Formal Methods, 1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999
1998
ACM Trans. Softw. Eng. Methodol., 1998
Formal Aspects Comput., 1998
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998
Proceedings of the Fundamental Approaches to Software Engineering, 1998
1997
Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative Research, 1997
Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative Research, 1997
1996
ACM SIGSOFT Softw. Eng. Notes, 1996
Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996
Proceedings of the 8th International Workshop on Software Specification and Design, 1996
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
IEEE Trans. Software Eng., 1995
ACM Trans. Softw. Eng. Methodol., 1995
ACM SIGSOFT Softw. Eng. Notes, 1995
ACM SIGSOFT Softw. Eng. Notes, 1995
Inf. Softw. Technol., 1995
Software Architecture: Next Steps Towards an Engineering Discipline for Software Systems Design (Panel).
Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995
Proceedings of the 17th International Conference on Software Engineering, 1995
Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995
1994
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
Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994
Proceedings of the 6th Refinement Workshop, 1994
Proceedings of the First IEEE International Conference on Requirements Engineering, 1994
Proceedings of the Workshop on Interface Definition Languages, 1994
Proceedings of the 16th International Conference on Software Engineering, 1994
Proceedings of the 16th International Conference on Software Engineering, 1994
Proceedings of the 16th International Conference on Software Engineering, 1994
1993
Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993
Proceedings of IEEE International Symposium on Requirements Engineering, 1993
Proceedings of the Object Technologies for Advanced Software, 1993
Proceedings of the 15th International Conference on Software Engineering, 1993
Proceedings of the Studies of Software Design, 1993
Proceedings of the Advances in Software Engineering and Knowledge Engineering, 1993
1992
GENIE: Developing and Assessing State-of-the-Art Integrated Programming Environments.
ACM SIGCHI Bull., 1992
Proceedings of the 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
Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992
Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992
1991
Proceedings of the 6th International Workshop on Software Specification and Design, 1991
Proceedings of the VDM '91, 1991
1990
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990
Proceedings of the Conference proceedings on Formal methods in software development, 1990
1989
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989
1987
Proceedings of the Conference on Object-Oriented Programming Systems, 1987
1986
Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986
Proceedings of the Advanced Programming Environments, 1986
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