Mathematical foundations of software engineering: A roadmap

Proceedings of the Conference on the Future of Software Engineering, ICSE 2000

Volumn , Issue , 2000, Pages 161-172

  Maibaum, T S E ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Engineering; Epistemology; Foundations; Normal design; Radical design

Indexed keywords

ENGINEERING; FOUNDATIONS; INDUSTRIAL ENGINEERING;

DESIGN KNOWLEDGE; ENGINEERING DISCIPLINES; ENGINEERING KNOWLEDGE; EPISTEMOLOGY; FOCAL POINTS; MATHEMATICAL FOUNDATIONS; STANDARD DESIGN; SYSTEMATISATION;

SOFTWARE ENGINEERING;

EID: 84974706017     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/336512.336548     Document Type: Conference Paper

References (13)

1. Carnap, R. (1950) Empiricism, Semantics, and Ontology, Revue Internationale de Philosophie, 11, 208-228.
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.
3. Cengarle, M.V. and Haeberer, A.M. (2000) Towards an Epistemology-Based Methodology for Validation and Verification Testing, Technical Report, Institut ftir Informatik, Ludwig-Maximilians-Universitat Mtinchen
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. ofASE'98, Redmiles, D. and Nuseibeh, B., eds, IEEE Computer Science Press.
5. Hempel, C. G. (1965) Aspects of Scientific Explanation and Other Essays in the Philosophy of Science, The Free Press, New York
6. Hesse, M. (1966) Models and Analogies in Science, University of Notre Dame Press.
7. Jackson, M. (1997) Private Communication.
8. Jackson, D. and Rinard, M. Reasoning & Analysis: A Roadmap In this volume.
9. DL Parnas, Education for Computing Professionals, IEEE Computer, Vol 23, No 1, 17-23, 1990.
10. Rogers, G.F.C. (1983) The Nature of Engineering, The Macmillan Press Ltd.
11. Stegmtiller, A. (1979) Probleme und Resultate der Wissenschafstheorie und Analytischen Philosophie Band II: Theorie und Erfahrung, Springer-Verlag.
12. Suppe, F. (1979) The Structure of Scientific Theor/es, University of Illinois Press.
13. Vincenti, W.G. (1990) What Engineers Know and How They Know It, The Johns Hopkins University Press.