Model-based Software Development
Janos Sztipanovits

Citation
Janos Sztipanovits. "Model-based Software Development". ESMD-SW Workshop, NASA, March, 2007.

Abstract
Model-based software and system design is based on the end-to-end use of formal, composable and manipulable models in the product life-cycle. An emerging common thread is that modeling languages are domain-specific: they offer software developers concepts and notations that are tailored to capture essential characteristics of their application domain. Model Integrated Computing (MIC) developed at the Institute for Software Integrated Systems (ISIS) at Vanderbilt University is part of this new direction. The presentation provides an overview of key principles, methods and tools of model-based software and systems design and discusses application directions and experience in high-confidence systems design, architecture exploration and model-based systems integration.

Electronic downloads

(No downloads are available for this publication.)

Citation formats

• HTML

  Janos Sztipanovits. <a
  href="http://chess.eecs.berkeley.edu/pubs/298.html"
  >Model-based Software Development</a>, ESMD-SW
  Workshop, NASA, March, 2007.

• Plain text

  Janos Sztipanovits. "Model-based Software
  Development". ESMD-SW Workshop, NASA, March, 2007.

• BibTeX

  @inproceedings{Sztipanovits07_ModelbasedSoftwareDevelopment,
      author = {Janos Sztipanovits},
      title = {Model-based Software Development},
      booktitle = {ESMD-SW Workshop},
      organization = {NASA},
      month = {March},
      year = {2007},
      abstract = {Model-based software and system design is based on
                the end-to-end use of formal, composable and
                manipulable models in the product life-cycle. An
                emerging common thread is that modeling languages
                are domain-speci�c: they offer software
                developers concepts and notations that are
                tailored to capture essential characteristics of
                their application domain. Model Integrated
                Computing (MIC) developed at the Institute for
                Software Integrated Systems (ISIS) at Vanderbilt
                University is part of this new direction. The
                presentation provides an overview of key
                principles, methods and tools of model-based
                software and systems design and discusses
                application directions and experience in
                high-confidence systems design, architecture
                exploration and model-based systems integration.},
      URL = {http://chess.eecs.berkeley.edu/pubs/298.html}
  }
  

Posted by Christopher Brooks on 6 Jun 2007.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.