Meyer, T.; Piwetz, C.:
Towards a High Level Design Method for Software Systems
In: Integrated Design and Process Technology : Proceedings the Second World Conference on Integrated Design and Process Technology / Cooke, D.; Kraemer, B.; Sheu, P.; Tsai, J.; Mittermeir, R. (Hrsg.). - Austin, Texas: Society for Design and Proce, 1996
Buchaufsatz/Kapitel in Sammelwerk / Fach: Wirtschaftswissenschaften
Titel:
Towards a High Level Design Method for Software Systems
Autor(in):
Meyer, T. im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Piwetz, C.
Erscheinungsjahr:
1996
Erschienen in:
Integrated Design and Process Technology : Proceedings the Second World Conference on Integrated Design and Process Technology / Cooke, D.; Kraemer, B.; Sheu, P.; Tsai, J.; Mittermeir, R. (Hrsg.). - Austin, Texas: Society for Design and Proce, 1996

Abstract:

In this paper, we describe our high level framework for system development. We present a concept for formalizing system requirements and transforming them into a formal design model. Applying consistency checks within this design model, we show how knowledge gained in the design stage may backfeed to new insights in the requirements stage. This framework can combine the benefits of high level specification methods usable by non-computer scientists with the benefits of formal specification methods.