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 [...]

Abstract

Within Innovation Program 2 (IP2) of the European Shift2Rail Joint Undertaking, a Technology Demonstrator (TD) “adaptable communications for all railways” activity was created to bring together key stakeholders, to investigate the future communication needs, define and [...]