Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Bernhard Schaetz; Alexander Pretschner; Franz Huber; Jan Philipps 
Titel:
Model-Based Development 
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...    »
 
Stichworte:
model-based; model; process model; product model; conceptual model; system model; abstraction; software engineering; domain model; development process; semantics; views; consistency; process support 
Jahr:
2002 
Jahr / Monat:
2002-05-01 00:00:00 
Seiten/Umfang:
35