loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Using Formal Methods to Develop an ATC Information System
March 1996 (vol. 13 no. 2)
pp. 66-76
ASCII Text
x 
 
Anthony Hall, "Using Formal Methods to Develop an ATC Information System," IEEE Software, vol. 13, no. 2, pp. 66-76, March, 1996.
 
 
BibTex
x
 
@article{ 10.1109/52.506463,
author = {Anthony Hall},
title = {Using Formal Methods to Develop an ATC Information System},
journal ={IEEE Software},
volume = {13},
number = {2},
issn = {0740-7459},
year = {1996},
pages = {66-76},
doi = {http://doi.ieeecomputersociety.org/10.1109/52.506463},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Using Formal Methods to Develop an ATC Information System
IS - 2
SN - 0740-7459
SP66
EP76
EPD - 66-76
A1 - Anthony Hall,
PY - 1996
VL - 13
JA - IEEE Software
ER -
 

Can formal methods be a part of large-system development? The project teams at Praxis used a combination of formal methods to help specify, design, and verify CDIS, a large information-display system within an ATC-support system. Their project suggests that it can be practicable and beneficial.

Citation:
Anthony Hall, "Using Formal Methods to Develop an ATC Information System," IEEE Software, vol. 13, no. 2, pp. 66-76, Mar. 1996, doi:10.1109/52.506463
Usage of this product signifies your acceptance of the Terms of Use.