Search For:

Displaying 1-50 out of 78 total
Guest Editors' Introduction: 1999 International Conference on Software Engineering
Found in: IEEE Transactions on Software Engineering
By Jeff Kramer, David Garlan, David S. Rosenblum
Issue Date:February 2001
pp. 97-98
No summary available.
 
Using Tool Abstraction to Compose Systems
Found in: Computer
By David Garlan, Gail E. Kaiser, David Notkin
Issue Date:June 1992
pp. 30-38
<p>The tool abstraction paradigm, which supports the evolution of large-scale software systems by easing design changes in the system functions, is discussed. Systems that support tool abstraction are structured as a pool of abstract data structures ...
 
Agents of Change: Educating Software Engineering Leaders
Found in: Computer
By David Garlan, David P. Gluch, James E. Tomayko
Issue Date:November 1997
pp. 59-65
<p>For the past nine years, Carnegie Mellon has been developing and refining a master of software engineering (MSE) curriculum. In the process, the university has had to determine how the curriculum would differ from traditional ones, what kinds of h...
 
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010)
Found in: Software Engineering, International Conference on
By Betty H. C. Cheng,Rogério de Lemos,David Garlan,Holger Giese,Marin Litoiu,Jeff Magee,Hausi A. Müller,Mauro Pezzè,Richard Taylor
Issue Date:May 2010
pp. 447-448
The Software Engineering for Adaptive and Self-managing Systems (SEAMS) workshop has consolidated the interest in the software engineering community on self-adaptive and self-managing systems. SEAMS provides a forum for researchers and practitioners to sha...
 
Architectural Mismatch: Why Reuse Is Still So Hard
Found in: IEEE Software
By David Garlan, Robert Allen, John Ockerbloom
Issue Date:July 2009
pp. 66-69
In this article, David Garlan, Robert Allen, and John Ockerbloom reflect on the state of architectural mismatch, a term they coined in their 1995 IEEE Software article,
 
SEAMS 2009: Software engineering for adaptive and self-managing systems
Found in: International Conference on Software Engineering Companion
By Betty H.C. Cheng, Rogerio de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Muller, Richard Taylor
Issue Date:May 2009
pp. 463-464
With the rapid growth of web services and the continuous evolution from software-intensive systems to socio-technical ecosystems, the management of modern computing systems with many uncertainties in their environments presents significant challenges and r...
   
Software Architectures for Task-Oriented Computing
Found in: Computer and Information Science, ACIS International Conference on
By David Garlan
Issue Date:May 2008
pp. 3
Recent advances in ubiquitous computing, autonomic computing, and artificial intelligence have led to a desire to better support user-oriented tasks by placing more intelligence in the computing infrastructure. This infrastructure helps mediate between com...
 
Steps toward activity-oriented computing
Found in: Parallel and Distributed Processing Symposium, International
By Joao Pedro Sousa, Vahe Poladian, David Garlan, Bradley Schmerl, Peter Steenkiste
Issue Date:April 2008
pp. 1-5
Most pervasive computing technologies focus on helping users with computer-oriented tasks. In this NSF-funded project, we instead focus on using computers to support user-centered ‘activities’ that normally do not involve the use of computers. Examples may...
 
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems
Found in: International Conference on Software Engineering Companion
By Betty H.C. Cheng, Rogerio de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Muller, Richard Taylor
Issue Date:May 2007
pp. 152-153
The objective of the SEAMS (Software Engineering for Adaptive and Self-managing Systems) workshops is to consolidate the interest in the software engineering community on autonomic, self-managing, self-healing, self-optimizing, self-configuring, and self-a...
   
SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems
Found in: Software Engineering for Adaptive and Self-Managing Systems, International Workshop on
By Betty H.C. Cheng, Rogério de Lemos, Stephen Fickas, David Garlan, Marin Litoiu, Jeff Magee, Hausi A. Mulller, Richard Taylor
Issue Date:May 2007
pp. 1
The objective of the SEAMS (Software Engineering for Adaptive and Self-managing Systems) workshops is to consolidate the interest in the software engineering community on autonomic, self-managing, self-healing, self-optimizing, self-configuring, and self-a...
   
A Formal Specification of an Oscilloscope
Found in: IEEE Software
By Norman Delisle, David Garlan
Issue Date:September 1990
pp. 29-36
<p>This case study presents the development of an abstract oscilloscope specification, using Z notation. A description is given of the problem and its context. An abstract model of an oscilloscope that clarifies its user-accessible functions is descr...
 
Invited Talk - Engineering Self-Healing and Self-Improving Systems
Found in: Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on
By David Garlan
Issue Date:June 2011
pp. 207
The proliferation of computing systems into every facet of our everyday lives raises a number of challenges for software engineering. Among those, we need to be able to build systems that take more control over their own dependability, security, and useful...
 
View Consistency in Architectures for Cyber-Physical Systems
Found in: Cyber-Physical Systems, IEEE/ACM International Conference on
By Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley Schmerl
Issue Date:April 2011
pp. 151-160
Current methods for modeling, analysis, and design of cyber-physical systems lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Our approach is to define relationships between system models...
 
Towards engineered architecture evolution
Found in: Modeling in Software Engineering, International Workshop on
By Sagar Chaki, Andres Diaz-Pace, David Garlan, Arie Gurfinkel, Ipek Ozkaya
Issue Date:May 2009
pp. 1-6
Architecture evolution, a key aspect of software evolution, is typically done in an ad hoc manner, guided only by the competence of the architect performing it. This process lacks the rigor of an engineering discipline. In this paper, we argue that archite...
 
Evaluating the effectiveness of the Rainbow self-adaptive system
Found in: Software Engineering for Adaptive and Self-Managing Systems, International Workshop on
By Shang-Wen Cheng, David Garlan, Bradley Schmerl
Issue Date:May 2009
pp. 132-141
Rainbow is a framework for engineering a system with run-time, self-adaptive capabilities to monitor, detect, decide, and act on opportunities for system improvement. We applied Rainbow to a system, Znn.com, and evaluated its effectiveness to self-adapt on...
 
Using Medical Devices to Teach Formal Modeling
Found in: Software Engineering, International Conference on
By David Garlan, Bradley Schmerl
Issue Date:May 2009
pp. 591-594
Architecture evolution is a key feature of most software systems. There are few tools that help architects plan and execute these evolutionary paths. We demonstrate a tool to enable architects to describe evolution paths, associate properties with elements...
 
Using Medical Devices to Teach Formal Modeling
Found in: Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability
By Orieta Celiku, David Garlan
Issue Date:June 2007
pp. 201-203
Formal modeling can be used as an effective technique to improve the quality and reliability of software-intensive systems in general, and medical devices in particular. However, for formal modeling to be accessible to practicing engineers and domain speci...
 
Leveraging Resource Prediction for Anticipatory Dynamic Configuration
Found in: Self-Adaptive and Self-Organizing Systems, IEEE International Conference on
By Vahe Poladian, David Garlan, Mary Shaw, M. Satyanarayanan, Bradley Schmerl, Joao Sousa
Issue Date:July 2007
pp. 214-223
<p>Self-adapting systems based on multiple concurrent applications must decide how to allocate scarce resources to applications and how to set the quality parameters of each application to best satisfy the user. Past work has made those decisions wit...
 
Differencing and Merging of Architectural Views
Found in: Automated Software Engineering, International Conference on
By Marwan Abi-Antoun, Jonathan Aldrich, Nagi Nahas, Bradley Schmerl, David Garlan
Issue Date:September 2006
pp. 47-58
<p>Existing approaches to differencing and merging architectural views are based on restrictive assumptions such as requiring view elements to have unique identifiers or exactly matching types.</p> <p>We propose an approach based on struc...
 
Discovering Architectures from Running Systems
Found in: IEEE Transactions on Software Engineering
By Bradley Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan
Issue Date:July 2006
pp. 454-466
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper, we describe a technique that uses runtime observations about an executing system to construct an arch...
 
Software engineering for adaptive and self-managing systems
Found in: Software Engineering, International Conference on
By Hausi Müller, Rogério de Lemos, Stephen Fickas, Jeff Magee, Richard Taylor, David Garlan, Betty H. C. Cheng
Issue Date:May 2006
pp. 1015-1016
The objective of this workshop is to consolidate the interest in the software engineering community on autonomic, self-managing, self-healing, self-optimizing, self-configuring, and self-adaptive systems. The workshop will provide a forum for researchers t...
   
Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley Schmerl, Nagi Nahas
Issue Date:November 2005
pp. 265-268
In practice, there are many differences between an implementation-level architecture (such as one derived using architectural recovery techniques) and a more conceptual architecture used at design time. <p>We present a lightweight, scalable, semi-aut...
 
Software Architecture Evaluation and Analysis Session Report
Found in: Software Architecture, Working IEEE/IFIP Conference on
By David Garlan
Issue Date:November 2005
pp. 227-228
We began by considering the broad vision for analysis and evaluation of architectures: to provide an engineering discipline that allows architects to make principled architectural decisions, evaluate the impact of those decisions, determine the conformance...
 
Adaptor Synthesis for Protocol-Enhanced Component Based Architectures
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Massimo Tivoli, David Garlan
Issue Date:November 2005
pp. 276-277
Correct assembly of software components is an important issue in Component Based Software Engineering. Composing a system from reusable components often introduces a set of problems related to communication and compatibility. In particular, one of the main...
 
Synchronized Architectures for Adaptive Systems
Found in: Computer Software and Applications Conference, Annual International
By Tiberiu Seceleanu, David Garlan
Issue Date:July 2005
pp. 146-151
In this paper we demonstrate how to use action systems to specify and refine self-adaptive systems. Focusing on the special case in which there are a fixed set of possible configurations, we use a recently-introduced synchronization operator to achieve sep...
 
Bridging the Gap between Systems Design
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By David Garlan, William K. Reinholtz, Bradley Schmerl, Nicholas D. Sherman, Tony Tseng
Issue Date:April 2005
pp. 34-46
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by software engineers. In this paper we describe our experience working with NASA engin...
 
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure
Found in: Computer
By David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley Schmerl, Peter Steenkiste
Issue Date:October 2004
pp. 46-54
Software-based systems today operate in changing environments and are subject to increasing administrative overhead. To reduce these costs, systems must dynamically self-adapt to accommodate resource variability, user needs, and system faults. The existing...
 
Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience
Found in: Empirical Software Engineering, International Symposium on
By Barry Boehm, Jesal Bhuta, David Garlan, Eric Gradman, LiGuo Huang, Alexander Lam, Ray Madachy, Nenad Medvidovic, Kenneth Meyer, Steven Meyers, Gustavo Perez, Kirk Reinholtz, Roshanak Roshandel, Nicolas Rouquette
Issue Date:August 2004
pp. 117-126
<p>This paper is an experience report on a first attempt to develop and apply a new form of software: a full-service empirical testbed designed to evaluate alternative software dependability technologies, and to accelerate their maturation and transi...
 
Understanding Tradeoffs among Different Architectural Modeling Approaches
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Roshanak Roshandel, Bradley Schmerl, Nenad Medvidovic, David Garlan, Dehua Zhang
Issue Date:June 2004
pp. 47
Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to have various benefits, to date there have been few studies to assess the relati...
 
An Architecture for Coordinating Multiple Self-Management Systems
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley Schmerl, Peter Steenkiste
Issue Date:June 2004
pp. 243
A common approach to adding self-management capabilities to a system is to provide one or more external control modules, whose responsibility is to monitor system behavior, and adapt the system at run time to achieve various goals (configure the system, im...
 
Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure
Found in: Autonomic Computing, International Conference on
By Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley Schmerl, Peter Steenkiste
Issue Date:May 2004
pp. 276-277
Software-based systems today are increasingly expected to dynamically self-adapt to accommodate resource variability, changing user needs, and system faults. Recent work uses closed-loop control based on external models to monitor and adapt system behavior...
   
DiscoTect: A System for Discovering Architectures from Running Systems
Found in: Software Engineering, International Conference on
By Hong Yan, David Garlan, Bradley Schmerl, Jonathan Aldrich, Rick Kazman
Issue Date:May 2004
pp. 470-479
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique that uses run time observations about an executing system to construct an arch...
 
AcmeStudio: Supporting Style-Centered Architecture Development
Found in: Software Engineering, International Conference on
By Bradley Schmerl, David Garlan
Issue Date:May 2004
pp. 704-705
Software architectural modeling is crucial to the development of high-quality software. Tool support is required for this activity, so that models can be developed, viewed, analyzed, and refined to implementations. This support needs to be provided in a fl...
   
Documenting Software Architectures: Views and Beyond
Found in: Software Engineering, International Conference on
By Paul Clements, David Garlan, Reed Little, Robert Nord, Judith Stafford
Issue Date:May 2003
pp. 740
No summary available.
   
Software Architecture-Based Adaptation for Grid Computing
Found in: High-Performance Distributed Computing, International Symposium on
By Shang-Wen Cheng, David Garlan, Bradley Schmerl, Peter Steenkiste, Ningning Hu
Issue Date:July 2002
pp. 389
Grid applications must increasingly self-adapt dynamically to changing environments. In most cases, adaptation has been implemented in an ad hoc fashion, on a per-application basis. This paper describes work which generalizes adaptation so that it can be u...
 
A Compositional Approach for Constructing Connectors
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Bridget Spitznagel, David Garlan
Issue Date:August 2001
pp. 148
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of interaction are needed to bridge component mismatches or to achieve extra-functi...
 
Model Checking Implicit-Invocation Systems
Found in: Software Specification and Design, International Workshop on
By David Garlan, Serge Khersonsky
Issue Date:November 2000
pp. 23
While implicit invocation (publish-subscribe) systems have good engineering properties, they are difficult to reason about and to test. Model checking such systems is an attractive alternative. However, it is not clear what kinds of state models are best s...
 
Architectural Styles, Design Patterns, and Objects
Found in: IEEE Software
By Robert T. Monroe, Andrew Kompanek, Ralph Melton, David Garlan
Issue Date:January 1997
pp. 43-52
This article shows the relationship between software architecture and object-oriented design, and shows that neither of them subsume the other because they address different (if overlapping) issues and use different abstraction mechanisms. The authors also...
 
Style-Based Reuse for Software Architectures
Found in: Software Reuse, International Conference on
By Robert T. Monroe, David Garlan
Issue Date:April 1996
pp. 84
Although numerous mechanisms for promoting software reuse have been proposed and implemented over the years, most have focused on the reuse of implementation code. There is much conjecture and some empirical evidence, however, that the most effective forms...
 
A Case Study in Architectural Modelling: The AEGIS System
Found in: Software Specification and Design, International Workshop on
By Robert Allen, David Garlan
Issue Date:March 1996
pp. 6
Software architecture is receiving increasingly attention as a critical design level for software systems. However, the current practice of architectural description is largely informal and ad hoc, with the consequence that architectural documents serve as...
 
Architectural Mismatch: Why Reuse Is So Hard
Found in: IEEE Software
By David Garlan, Robert Allen, John Ockerbloom
Issue Date:November 1995
pp. 17-26
Architectural mismatch stems from mismatched assumptions a reusable part makes about the system structure it is to be part of. These assumptions often conflict with the assumptions of other parts and are almost always implicit, making them extremely diffic...
 
Programming environments based on structure editing: The GNOME approach
Found in: Managing Requirements Knowledge, International Workshop on
By Ravinder Chandhok, David Garlan, Dennis Goldenson, Philip Miller, and Mark Tucker
Issue Date:July 1985
pp. 359
No summary available.
   
Acme: an architecture description interchange language
Found in: CASCON First Decade High Impact Papers (CASCON '10)
By David Garlan, David Wile, Robert Monroe
Issue Date:November 2010
pp. 159-173
Numerous architectural description languages (ADLs) have been developed, each providing complementary capabilities for architectural development and analysis. Unfortunately, each ADL and supporting toolset operates in isolation, making it difficult to inte...
     
A Compositional Formalization of Connector Wrappers
Found in: Software Engineering, International Conference on
By Bridget Spitznagel, David Garlan
Issue Date:May 2003
pp. 374
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independently developed and potentially mismatched parts, wrappers may be used to ove...
 
Architectural Mismatch or Why it's hard to build systems out of existing parts
Found in: Software Engineering, International Conference on
By David Garlan, Robert Allen, John Ockerbloom
Issue Date:April 1995
pp. 179
Many would argue that future breakthroughs in software productivity will depend on our ability to combine existing pieces of software to produce new applications. An important step towards this goal is the development of new techniques to detect and cope w...
 
SORASCS: a case study in soa-based platform design for socio-cultural analysis
Found in: Proceeding of the 33rd international conference on Software engineering (ICSE '11)
By Bradley Schmerl, David Garlan, Kathleen M. Carley, Michael W. Bigrigg, Vishal Dwivedi
Issue Date:May 2011
pp. 643-652
An increasingly important class of software-based systems is platforms that permit integration of third-party components, services, and tools. Service-Oriented Architecture (SOA) is one such platform that has been successful in providing integration and di...
     
Software engineering in an uncertain world
Found in: Proceedings of the FSE/SDP workshop on Future of software engineering research (FoSER '10)
By David Garlan
Issue Date:November 2010
pp. 125-128
In this paper, we argue that the reality of today's software systems requires us to consider uncertainty as a first-class concern in the design, implementation, and deployment of those systems. We further argue that this induces a paradigm shift, and a num...
     
Program comprehension as fact finding
Found in: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (ESEC-FSE '07)
By Brad A. Myers, David Garlan, James D. Herbsleb, Thomas D. LaToza
Issue Date:September 2007
pp. 361-370
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We performed a lab study in which thirteen developers worked for 3 hours under-standing...
     
Design fragments make using frameworks easier
Found in: Companion to the 21st ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications (OOPSLA '06)
By David Garlan, George Fairbanks, William Scherlis
Issue Date:October 2006
pp. 762-763
Object oriented frameworks impose new burdens on programmers that libraries did not, such as requiring the programmer to understand the method callback sequence, respecting behavior constraints within these methods, and devising solutions within a constrai...
     
Using framework interfaces with design fragments
Found in: Companion to the 21st ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications (OOPSLA '06)
By David Garlan, George Fairbanks, William Scherlis
Issue Date:October 2006
pp. 718-718
Framework interfaces are complex, so programmers often copy repeating patterns, either their own or from others, to interact with them. Design Fragments allow framework interactions to be explicitly defined, describing known-good uses of the framework. We ...
     
 1  2 Next >>