Intuition in software development

Advanced Seminar On The Role Of Semantics In Software Development The Role Of Semantics In The Development Of Software Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 186)


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.


Software Development Intuitive Understanding Check List Infinite Regress Shopping Trip 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Medawar, P.: Pluto's republic. Oxford University Press, Oxford 1982.Google Scholar
  2. 2.
    Popper, K.R.: The logic of scientific discovery. Hutchinson, London, 1959.Google Scholar
  3. 3.
    Quine, W.v.O.: Word and object. M.I.T. Press, Cambridge, Massachusetts, 1960.Google Scholar
  4. 4.
    Whitehead, A.N.: Adventures of ideas. Pelican Books, Harmondsworth, Middlesex, England, 1942.Google Scholar
  5. 5.
    Jespersen, O.: Essentials of English grammar. George Allen and Unwin, London, 1933.Google Scholar
  6. 6.
    Kline, M.: Why the professor can't teach. St. Martin's Press, New York, 1977.Google Scholar
  7. 7.
    Ledgard, H., Whiteside, J.A., Singer, A., Seymour, W.: The natural language of interactive systems. Comm. ACM 23 (10), pp. 556–563, 1980.Google Scholar
  8. 8.
    Shaw, B.: The doctor's dilemma. Penguin Books, Harmondsworth, Middlesex, England, 1946.Google Scholar
  9. 9.
    Naur, P.: Formalization in program development. BIT 22 (1982), 437–453.Google Scholar
  10. 10.
    Naur, P.: Programming as theory building. Microprocessing and Microprogramming, in preparation.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • P. Naur
    • 1
  1. 1.Datalogisk InstitutCopenhagen UniversityDenmark

Personalised recommendations