1996
10 references published this year.
C4I for the Warrior — Global Command and Control System: From Concept to Reality
Albert J. Edmonds (1996)
Static detection of pointer errors: an axiomatisation and a checking algorithm
Pascal Fradet et al. (1996) · European Symposium on Programming
How did software get so reliable without proof?
Charles Anthony Richard Hoare (1996) · 3rd International Symposium of Formal Methods Europe (FME)
Extensions of first-order logic
Maria Manzano (1996)
Changing computing: the computing community and DARPA
Arthur L. Norberg (1996) · IEEE Annals of the History of Computing
The 1968/69 NATO software engineering reports
Brian Randell (1996) · Position Papers for Dagstuhl Seminar 9635 on History of Software Engineering
The development of the C programming language
Dennis M. Ritchie (1996) · History of Programming languages
Formal methods and testing: why the state-of-the art is not the state-of-the practice
David S. Rosenblum (1996) · ACM SIGSOFT Software Engineering Notes
A history of C++ 1979–1991
Bjarne Stroustrup (1996) · History of Programming languages
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development
Job Zwiers et al. (1996) · FME'96: Industrial Benefit and Advances in Formal Methods