Citation
Edward A. Lee. "Model Engineering". Talk or presentation, 21, October, 2008.

Abstract
Model-based design uses models of systems as the specification for software behavior and synthesizes executable software from those models. As with any successful engineering discipline, design techniques must evolve to support development, maintenance, and evolution of designs, and these techniques must be able to handle designs of realistic size and complexity. The discipline of software engineering provides techniques, such as object-oriented design, static analysis, and formal verification, for software designs. This talk explores techniques that support development, maintenance, and evolution of models. In particular, we discuss model transformation, model ontologies, and multimodeling, with applications to construction of large models (e.g. MapReduce), model optimization, and consistency management across multiple models.

Electronic downloads

• ModelEngineering_ChessSeminar.pdf · text/html · 2072 kbytes

• HTML

  Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/502.html"><i>Model
  Engineering</i></a>, Talk or presentation,  21,
  October, 2008.

• Plain text

  Edward A. Lee. "Model Engineering". Talk or presentation, 
  21, October, 2008.

• BibTeX

  @presentation{Lee08_ModelEngineering,
      author = {Edward A. Lee},
      title = {Model Engineering},
      day = {21},
      month = {October},
      year = {2008},
      abstract = {Model-based design uses models of systems as the
                specification for software behavior and
                synthesizes executable software from those models.
                As with any successful engineering discipline,
                design techniques must evolve to support
                development, maintenance, and evolution of
                designs, and these techniques must be able to
                handle designs of realistic size and complexity.
                The discipline of software engineering provides
                techniques, such as object-oriented design, static
                analysis, and formal verification, for software
                designs. This talk explores techniques that
                support development, maintenance, and evolution of
                models. In particular, we discuss model
                transformation, model ontologies, and
                multimodeling, with applications to construction
                of large models (e.g. MapReduce), model
                optimization, and consistency management across
                multiple models. },
      URL = {http://chess.eecs.berkeley.edu/pubs/502.html}
  }
  

Posted by Hiren D. Patel on 23 Oct 2008.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.