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 / Fach: Wirtschaftswissenschaften
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.