- 1.Carnap, R. (1950) Empiricism, Semantics, and Ontology, Revue Internationale de Philosophie, 11, 208-228.Google Scholar
- 2.Carnap, R. (1956) The Methodological Character of Theoretical Concepts, Minnesota Studies in the Philosophy of Science, Vol. II. University of Minnesota Press, 33-76.Google Scholar
- 3.Cengarle, M.V. and Haeberer, A.M. (2000) Towards an Epistemology-Based Methodology for Validation and Verification Testing, Technical Report, Institut fur Informatik, Ludwig- Maximilians-Universitat MtinchenGoogle Scholar
- 4.Haeberer, A.M. and Maibaum, T.S.E. (1998) The very Idea of Software Development Environments: a Conceptual architecture for the ARTS Environment Paradigm, Proc. of ASE'98, Redmiles, D. and Nuseibeh, B., eds, IEEE Computer Science Press. Google ScholarDigital Library
- 5.Hempel, C. G. (1965) Aspects of Scientific Explanation and Other Essays in the Philosophy of Science, The Free Press, New YorkGoogle Scholar
- 6.Hesse, M. (1966) Models and Analogies in Science, University of Notre Dame Press.Google Scholar
- 7.Jackson, M. (1997) Private Communication.Google Scholar
- 8.Jackson, D. and Rinard, M. Reasoning & Analysis: a roadmap. In this volume.Google Scholar
- 9.DL Parnas, Education for Computing Professionals, IEEE Computer, Vol 23, No 1, 17-23, 1990. Google ScholarDigital Library
- 10.Rogers, G.F.C. (1983) The Nature of Engineering, The Macmillan Press Ltd.Google Scholar
- 11.Stegmtiller, A. (1979) Probleme und Resultate der Wissenschafstheorie und Analytischen Philosophie Band II: Theorie und Erfahrung, Springer-Verlag.Google Scholar
- 12.Suppe, F. (1979) The Structure of Scientific Theories, University of Illinois Press.Google Scholar
- 13.Vincenti, W.G. (1990) What Engineers Know and How They Know It, The Johns Hopkins University Press.Google Scholar
Index Terms
- Mathematical foundations of software engineering: a roadmap
Recommendations
The Name and Nature of Software Engineering
Advances in Software EngineeringSoftware engineering is discussed with particular reference to software-intensive application systems--those whose fundamental purpose is to bring about desired effects in a physical and human <em>problem world</em> by interaction with a programmed <em>...
On the Cognitive Informatics Foundations of Software Engineering
ICCI '04: Proceedings of the Third IEEE International Conference on Cognitive InformaticsSoftware is the object of study in software engineering and computer science. Software is an intellectual artifact that provides a solution for a repeatable computer application, which enables existing tasks to be done easier, faster, and smarter, or ...
Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering
ICSE '01: Proceedings of the 23rd International Conference on Software EngineeringDiscussions of the role of mathematics in software engineering are common and have probably not changed much over the last few decades. There is now much discussion about the “intuitive” nature of software construction and analogies are drawn (falsely) ...
Comments