|
| 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 - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.506463
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
Citation:
Anthony Hall, "Using Formal Methods to Develop an ATC Information System," IEEE Software, vol. 13, no. 2, pp. 66-76, March 1996, doi:10.1109/52.506463
Usage of this product signifies your acceptance of the Terms of Use.