The Community for Technology Leaders
Green Image
To show that lightweight approaches can facilitate the technological transfer of formal development methods, the authors report on their experiences using VDM++ to specify a safety-critical air traffic control voice communication system. Their approach raised both the quality of the informal system specification as well as the efficiency of the system test suites they used.
Bernhard K. Aichernig, Johann Hörl, "Validating Voice Communication Requirements Using Lightweight Formal Methods", IEEE Software, vol. 17, no. , pp. 21-27, May/June 2000, doi:10.1109/52.896246
78 ms
(Ver 3.3 (11022016))