Using formal methods to develop an ATC information system

IEEE Software

Volumn 13, Issue 2, 1996, Pages 66-76

  Hall, Anthony ^a,b  

^a Praxis ^*

^b Praxis   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; CLOSED CIRCUIT TELEVISION SYSTEMS; COMPUTER ARCHITECTURE; COMPUTER MONITORS; COMPUTER WORKSTATIONS; INFORMATION SERVICES; LARGE SCALE SYSTEMS; LOCAL AREA NETWORKS; REAL TIME SYSTEMS; SPECIFICATIONS; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

CONTROLLER WORKSTATIONS; FORMAL METHODS; INFORMATION DISPLAY SYSTEMS; INFORMATION SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0030106817     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.506463     Document Type: Review

References (12)

1. D.J. Hatley and I.A. Pirbhai, Strategies for Real-Time System Specification, Dorset House, New York, 1988.
2. C.B. Jones, Systematic Software Development Using VDM, Prentice-Hall, Englewood Cliffs, N.J., 1986.
3. N. Plat, J. van Katwijk, and K. Pronk, "A Case for Structured Analysis/Formal Design," Proc. VDM '91, Lecture Notes in Computer Science No. 551, Springer-Verlag, Berlin, 1991, pp. 81-105.
4. J.M. Spivey, The Z Notation: A Reference Manual, Prentice-Hall, Englewood Cliffs, N.J., 1992.
5. C.A. Middleburg, "VVSL: A Language for Structured VDM Specifications," Formal. Aspects of Computing. Jan.-Mar. 1989, pp. 115-135.
6. C.A.R. Hoare, Communicating in Seqential Processes, Prentice-Hall, Englewood Cliffs, N.J., 1985.
7. J. Jacob, "Refinement of Shared Systems," The Theory and Practice of Refinement, J.A. McDermid, ed., Butterworths, London, 1988, pp. 27-36.
8. R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, N.J., 1989.
9. R. Cleaveland, J. Parrow, and B. Steffen, "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems," ACM Trans. Programming Languages and Systems, Jan. 1993, pp. 36-72.
10. G. Bruns, "Applying Process Refinement to a Safety-Relevant System," Tech. Report ECS-LFCS-94-287, Laboratory for the Foundations of Computer Science, University of Edinburgh, Mar. 1994.
11. B.W. Boehm, Software Engineering Economics, Prentice-Hall, Englewood Cliffs, N.J., 1981.
12. L. Hatton, "Programming Languages and Safety-Related Systems," Proc. Safety-Critical Systems Symposium, Springer-Verlag, New York, 1995, pp. 48-64.