Issues in developing software for safety critical systems

[1]  Bev Littlewood,et al.  Predicting software reliability , 1989, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[2]  John A. McDermid,et al.  Assurance in high-integrity software , 1989 .

[3]  James H. Fetzer.  Program verification: the very idea , 1988, CACM.

[4]  Sentot Kromodimoeljo,et al.  m-EVES: a tool for verifying software , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.

[5]  Mark Dowson,et al.  Integrated Project Support with IStar , 1987, IEEE Software.

[6]  Harold W. Thimbleby,et al.  Interaction Models and the Principled Design of Interactive Systems , 1987, ESEC.

[7]  John N. Buxton,et al.  Craft of software engineering , 1987, International computer science series.

[8]  Andrew F. Monk,et al.  Mode Errors: A User-Centered Analysis and Some Preventative Measures Using Keying-Contingent Sound , 1986, Int. J. Man Mach. Stud..

[9]  Paul D. Ezhilchelvan,et al.  A Characterisation of Faults in Systems , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[10]  Bev Littlewood,et al.  Evaluation of competing software reliability predictions , 1986, IEEE Transactions on Software Engineering.

[11]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[12]  Donald I. Good,et al.  Mechanical proofs about computer programs , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[13]  Nancy G. Leveson,et al.  Analyzing Software Safety , 1983, IEEE Transactions on Software Engineering.

[14]  John McDermid,et al.  Life cycle support in the Ada environment , 1983, ALET.

[15]  Leslie Lamport,et al.  The Byzantine Generals Problem , 1982, TOPL.

[16]  Tom DeMarco,et al.  Controlling Software Projects , 1982 .

[17]  Martin R. Woodward,et al.  Experience with Path Analysis and Testing of Programs , 1980, IEEE Transactions on Software Engineering.