What can we expect from program verification?

Computer

Volumn 39, Issue 10, 2006, Pages 65-71

  Jackson, Michael ^a,b  

^a OPEN UNIVERSITY   (United Kingdom)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEM FIREWALLS; COMPUTER SYSTEMS PROGRAMMING; PROGRAM COMPILERS; SPECIFICATIONS;

PROBLEM DECOMPOSITION; PROGRAM VERIFICATION; SOFTWARE-INTENSIVE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 33750117166     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2006.363     Document Type: Article

References (15)

1. T. Hoare, "The Verifying Compiler: A Grand Challenge for Computing Research," J. ACM, Jan. 2003, pp. 63-69.
2. J. Woodcock, "GC6: Dependable Systems Evolution," Grand Challenges in Computing Research, T. Hoare and R. Milner, eds., British CS, 2004, pp. 25-28.
3. G.T. Leavens et al., Roadmap for Enhanced Languages and Methods to Aid Verification, tech. report TR-06-21, Computer Science Dept., Iowa State Univ., July 2006; ftp://ftp.cs.iastate.edu/pub/techreports/TR06-21/ TR.pdf.
4. E.W. Dijkstra, "On the Cruelty of Really Teaching Computing Science," Comm. ACM, Dec. 1989, pp. 1398-1404.
5. H. Simon, Models of Bounded Rationality: Behavioral Economics and Business Organization, MIT Press, 1982.
6. D.L. Parnas and Jan Madey, "Functional Documents for Computer Systems," Science of Computer Programming, Oct. 1995, pp. 41-61.
7. I.J. Hayes, M.A. Jackson, and C.B. Jones, "Determining the Specification of a Control System from That of Its Environment," Proc. FME 2003, Springer-Verlag, 2003, pp. 154-169.
8. K. Marzullo, F.B. Schneider, and N. Budhiraja, "Derivation of Sequential, Real-Time Process-Control Programs," Foundations of Real-Time Computing: Formal Specifications and Methods, A.M. van Tilborg and G. Koob, eds., Kluwer Academic Publishers, 1991, pp. 39-54.
9. W.G. Vincenti, What Engineers Know and How They Know It: Analytical Studies from Aeronautical History, The Johns Hopkins Univ. Press, 1993.
10. M. Jackson, "Problem Analysis and Structure," Eng. Theories of Software Construction, T. Hoare, M. Broy, and R. Steinbruggen, eds., Proc. NATO Summer School Marktoberdorf, IOS Press, 2000, pp. 3-20.
11. M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996, pp. 39-42.
12. L. Rapanotti, J. Hall, and M. Jackson, "Problem Transformations in Solving the Package Router Control Problem," tech. report TR2006/07, Open University, July 2006.
13. R. Seater and D. Jackson, "Requirement Progression in Problem Frames Applied to a Proton Therapy System," Proc. 14th IEEE Int'l Requirements Eng. Conf. (RE 06), forthcoming, 2006.
14. M. Jackson and P. Zave, "Deriving Specifications from Requirements: An Example," Proc. 17th Int'l Conf. Software Eng. (ICSE 95), ACM and IEEE CS Press, 1995, pp. 15-24; http://doi.ieeecomputersociety.org/ 10.1109/ICSE.1995.10007.
15. J.G. Hall and L. Rapanotti, "A Reference Model for Requirements Engineering," Proc. 11th Int'l Conf. Requirements Eng. (RE 03), IEEE CS Press, 2003, pp. 181-187; http://doi.ieeecomputersociety.org/ 10.1109/ICRE.2003.1232749.