The Logic of Correctness in Software Engineering
Publisher
Springer London
Reference64 articles.
1. Aiken, H.H., Hopper, G.M.: The Automatic Sequence Controlled Calculator. Electr. Eng. 65, 384–391, 449–454, 522–528 (1946)
2. Baker, F.T.: Chief programmer team management of production programming. IBM Syst. J. 11(1), 56–73 (1972a)
3. AFIPS Conference Proceedings;F.T. Baker,1972
4. Basili, V.: The role of experimentation in software engineering: past, present and future. In: ISCE’96: Proceedings of the 18th International Conference on Software Engineering, pp. 442–449. IEEE Comput. Soc., Los Alamitos (1996)
5. Bauer, F.L., Wössner, H.: The “Plankalkül” of Konrad Zuse: A forerunner of today’s programming languages. Commun. ACM 15(1), 678–685 (1972)