Mathematical foundations of software engineering

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Mathematical foundations of software engineering: a roadmap

Full text

Pdf (1.20 MB)

Source

International Conference on Software Engineering archive
Proceedings of the Conference on The Future of Software Engineering table of contents

Limerick, Ireland

Pages: 161 - 172

Year of Publication: 2000

ISBN:1-58113-253-0

Author

Tom Maibaum

Department of Computer Science, King's College London, Strand, London WC2R2LS, UK

Sponsors

IEEE-CS : Computer Society
SIGSOFT: ACM Special Interest Group on Software Engineering
Irish Comp Soc : Irish Computer Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 58, Citation Count: 6

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/336512.336548 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	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 fur Informatik, Ludwig- Maximilians-Universitat Mtinchen
	4	A. Haeberer , T. Maibaum, The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm, Proceedings of the 13th IEEE international conference on Automated software engineering, p.260, October 13-16, 1998
	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	David Lorge Parnas, Education for Computing Professionals, Computer, v.23 n.1, p.17-22, January 1990 [doi>10.1109/2.48796]
	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 Theories, University of Illinois Press.
	13	Vincenti, W.G. (1990) What Engineers Know and How They Know It, The Johns Hopkins University Press.

CITED BY 6

	A. M. Haeberer , T. S. E. Maibaum, Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering, Proceedings of the 23rd International Conference on Software Engineering, p.463-472, May 12-19, 2001, Toronto, Ontario, Canada
	Mary Shaw, Software engineering education: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.371-380, June 04-11, 2000, Limerick, Ireland
	Bashar Nuseibeh , Steve Easterbrook, Requirements engineering: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.35-46, June 04-11, 2000, Limerick, Ireland
	M. M. Lehman , J. F. Ramil, An approach to a theory of software evolution, Proceedings of the 4th International Workshop on Principles of Software Evolution, September 10-11, 2001, Vienna, Austria
	Pierre Bourque , Robert Dupuis , Alain Abran , James W. Moore , Leonard Tripp , Sybille Wolff, Fundamental principles of software engineering - A journey, Journal of Systems and Software, v.62 n.1, p.59-70, 1 May 2002
	Tom Maibaum, On specifying systems that connect to the physical world, Proceeding of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, p.71-83, May 28, 2006