The Community for Technology Leaders
RSS Icon
Issue No.03 - May/June (2000 vol.17)
pp: 21-27
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.
Johann Hörl, Bernhard K. Aichernig, "Validating Voice Communication Requirements Using Lightweight Formal Methods", IEEE Software, vol.17, no. 3, pp. 21-27, May/June 2000, doi:10.1109/52.896246
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool