Abstract
A characterization of the pervasiveness of intuition in human conscious life is given, followed by some remarks on successes and failures of intuition. Next the intuitive basis of common notions of scales, logic, correctness, texts, reasoning, and proofs, is described. On this basis the essential notions of data models of human activity and of software development, as built on human intuition, are discussed. This leads to a discussion of software development methods, viewed as means to overcoming the hazards of intuitive actions. It is concluded that programmers' experience and integrity are more important than their use of methods.
Chapter PDF
References
Medawar, P.: Pluto's republic. Oxford University Press, Oxford 1982.
Popper, K.R.: The logic of scientific discovery. Hutchinson, London, 1959.
Quine, W.v.O.: Word and object. M.I.T. Press, Cambridge, Massachusetts, 1960.
Whitehead, A.N.: Adventures of ideas. Pelican Books, Harmondsworth, Middlesex, England, 1942.
Jespersen, O.: Essentials of English grammar. George Allen and Unwin, London, 1933.
Kline, M.: Why the professor can't teach. St. Martin's Press, New York, 1977.
Ledgard, H., Whiteside, J.A., Singer, A., Seymour, W.: The natural language of interactive systems. Comm. ACM 23 (10), pp. 556–563, 1980.
Shaw, B.: The doctor's dilemma. Penguin Books, Harmondsworth, Middlesex, England, 1946.
Naur, P.: Formalization in program development. BIT 22 (1982), 437–453.
Naur, P.: Programming as theory building. Microprocessing and Microprogramming, in preparation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Naur, P. (1985). Intuition in software development. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds) Formal Methods and Software Development. TAPSOFT 1985. Lecture Notes in Computer Science, vol 186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15199-0_5
Download citation
DOI: https://doi.org/10.1007/3-540-15199-0_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15199-9
Online ISBN: 978-3-540-39307-8
eBook Packages: Springer Book Archive