Towards a High Level Design Method for Software Systems
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.
Dieser Eintrag ist freigegeben.