User: Guest  Login
Title:

Model-Based Development

Document type:
Technical Report
Author(s):
Bernhard Schaetz; Alexander Pretschner; Franz Huber; Jan Philipps
Abstract:
Model-based development relies on the use of explicit models to describe the development process including its activities and products. Among other things, the explicit existence of process and product models allows the definition and use of complex development steps that are correct by design (refactorings), for generating proof obligations after a given transformation (run a certain automatically generated test suite), for requirements tracing, and for documenting the process. Our understandin...     »
Keywords:
model-based; model; process model; product model; conceptual model; system model; abstraction; software engineering; domain model; development process; semantics; views; consistency; process support
Year:
2002
Year / month:
2002-05-01 00:00:00
Pages:
35
 BibTeX