论文信息 - High Integrity Ada - 字舞流文

High Integrity Ada

This paper describes the approach being taken by an ISO group to produce Guidelines for the use of Ada when developing high integrity applications.

[1] M. Hecht,et al. Review Guidelines for Software Languages for use in Nuclear Power Plant Safety Systems , 1997 .

[2] Dan Craigen,et al. Ada 95 and Critical Systems: An Analytical Approach , 1996, Ada-Europe.

[3] W. J. Cullyer,et al. The choice of computer languages for use in safety-critical systems , 1991, Softw. Eng. J..

[4] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[5] Bev Littlewood,et al. THE RISKS OF SOFTWARE , 1992 .

[6] John Dawes,et al. The VDM-SL Reference Guide , 1991 .

[7] Dan Craigen,et al. Using analytical approaches for high integrity Ada95 systems , 1997 .

[8] Kenneth Corfield. Engineering Council , 1921, Journal of the American Institute of Electrical Engineers.

[9] Alan Burns,et al. Restricted tasking models , 1997 .

[10] Robert G. Pettit,et al. Ada 95, Quality and Style: Guidelines for Professional Programmers , 1998 .

[11] John A. McDermid,et al. Software Engineer's Reference Book , 1993 .

[12] Brian A. Wichmann,et al. Industrial perspective on static analysis , 1995, Softw. Eng. J..