loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Validating Voice Communication Requirements Using Lightweight Formal Methods
May/June 2000 (vol. 17 no. 3)
pp. 21-27
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/52.896246,
author = {Johann Hörl and Bernhard K. Aichernig},
title = {Validating Voice Communication Requirements Using Lightweight Formal Methods},
journal ={IEEE Software},
volume = {17},
number = {3},
issn = {0740-7459},
year = {2000},
pages = {21-27},
doi = {http://doi.ieeecomputersociety.org/10.1109/52.896246},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Validating Voice Communication Requirements Using Lightweight Formal Methods
IS - 3
SN - 0740-7459
SP21
EP27
EPD - 21-27
A1 - Johann Hörl,
A1 - Bernhard K. Aichernig,
PY - 2000
VL - 17
JA - IEEE Software
ER -
 
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.
Citation:
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
Usage of this product signifies your acceptance of the Terms of Use.