Issues in developing software for safety critical systems

The Byzantine Generals Problem

Leslie Lamport, Robert E. Shostak, Marshall C. Pease · ACM Transactions on Programming Languages and Systems · 1982 · 6K citations · Full text

Computing, Computer Science, Byzantine Studies +6

Design and code inspections to reduce errors in program development

Michael Fagan · IBM Systems Journal · 1976 · 1.5K citations

Management, Project Management, Quality Management +17

Proceedings of the 4th international conference on Software engineering

Friedrich L. Bauer, Leon G. Stucki, M. M. Lehman · International Conference on Software Engineering · 1979 · 391 citations

Computing, Computer Engineering, Computer Science +13

Evaluation of competing software reliability predictions

Abdalla Abdel-Ghaly, P. Y. Chan, B. Littlewood · IEEE Transactions on Software Engineering · 1986 · 298 citations

Computing, Systems Engineering, Decision Analysis +15

Program verification: the very idea

James H. Fetzer · Communications of the ACM · 1988 · 289 citations · Full text

Computing, Computer Science, Algorithms +13