• Publications
  • Influence
Composing Domain-Specific Design Environments
Domain-specific, integrated modeling, model analysis, simulation, and code-generation tools that help design and implement computer-based systems (CBSs) in a specific, well-defined engineering field. Expand
  • 534
  • 79
  • PDF
The Generic Modeling Environment
The Generic Modeling Environment (GME) is a con- figurable toolset that supports the easy creation of d o- main-specific modeling and program synthesis environ- ments. Expand
  • 673
  • 66
  • PDF
Software Engineering for Self-Adaptive Systems: A Research Roadmap
The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. Expand
  • 1,088
  • 62
  • PDF
Smart Dust: communicating with a cubic-millimeter computer
MIC is an approach to model-based engineering that helps compose domain-specific design environments rapidly and cost effectively by using a metalevel architecture to specify the domain- specific modeling language and integrity constraints. Expand
  • 1,303
  • 43
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying, managing and managing self-adaptive software systems. Expand
  • 657
  • 36
  • PDF
Model-Integrated Computing
This paper discusses model-integrated computing, an approach that extends the scope and use of models to capture information relevant to the system under design. Expand
  • 555
  • 33
  • PDF
Model-integrated development of embedded software
The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple-view models used in all phases of the development process. Expand
  • 454
  • 23
  • PDF
Design Guidelines for Domain Specific Languages
We investigate guidelines that are useful for designing domain specific languages, largely based on our experience in developing languages as well as relying on existing guidelines on general purpose (GPLs) and modeling languages. Expand
  • 146
  • 16
  • PDF
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
The paper introduces a graph-transformation-based technique for spec- ifying these model transformations, gives a formal definition for the semantics of the transformation language, describes an implementation of the language, and illustrates its use through an example. Expand
  • 173
  • 15
  • PDF
A robust method for hybrid diagnosis of complex systems
Abstract The AI model-based diagnosis community has developed qualitative reasoning mechanisms for fault isolation in dynamic systems. Their emphasis has been on the fault isolation algorithms, andExpand
  • 90
  • 13