Abstract
There is a lack of means of translating work products of elicitation to design and using results of evaluation as feedback to design. This paper lays the foundation of a model of evaluation to be built concurrently with the design activity. The evaluation model describes the implications [...]Abstract
A joint project of the Austrian company Frequentis1 and the Technical University Graz demonstrates the applicability of executable formal models2. The formal method VDM++ has been applied to specify a safety critical voice communication system (VCS) for air-traffic control. Besides [...]