Article

Free access

Mathematical foundations of software engineering: a roadmap

Author:

Tom MaibaumAuthors Info & Claims

ICSE '00: Proceedings of the Conference on The Future of Software Engineering

Pages 161 - 172

https://doi.org/10.1145/336512.336548

Published: 01 May 2000 Publication History

PDF eReader

References

[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 Mtinchen

Google 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.

Digital Library

Google Scholar

[5]

Hempel, C. G. (1965) Aspects of Scientific Explanation and Other Essays in the Philosophy of Science, The Free Press, New York

Google 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.

Digital Library

Google Scholar

[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

Cited By

View all

Al-Sarayreh KMeridji KAbran A(2020)Software engineering principles: A systematic mapping study and a quantitative literature reviewEngineering Science and Technology, an International Journal10.1016/j.jestch.2020.11.005Online publication date: Dec-2020
https://doi.org/10.1016/j.jestch.2020.11.005
Cassano VMaibaum T(2014)Actions and Events in Concurrent Systems DesignElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.139.3139(31-45)Online publication date: 2-Jan-2014
https://doi.org/10.4204/EPTCS.139.3
Deng H(2013)Study on Lifecycle and Criteria of Software EngineeringApplied Mechanics and Materials10.4028/www.scientific.net/AMM.303-306.2341303-306(2341-2344)Online publication date: Feb-2013
https://doi.org/10.4028/www.scientific.net/AMM.303-306.2341
Show More Cited By

Index Terms

Mathematical foundations of software engineering: a roadmap
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
2. Software and its engineering
  1. Software creation and management
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

The Name and Nature of Software Engineering
Advances in Software Engineering

Software 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 Informatics

Software 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 Engineering

Discussions 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

Information & Contributors

Information

Published In

ICSE '00: Proceedings of the Conference on The Future of Software Engineering

May 2000

381 pages

ISBN:1581132530

DOI:10.1145/336512

Chairman:
Anthony Finkelstein

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE00

Sponsor:

Irish Comp Soc
SIGSOFT
IEEE-CS

ICSE00: 22nd International Conference on Software Engineering

June 4 - 11, 2000

Limerick, Ireland

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

25
Total Citations
View Citations
1,195
Total Downloads

Downloads (Last 12 months)109
Downloads (Last 6 weeks)19

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Al-Sarayreh KMeridji KAbran A(2020)Software engineering principles: A systematic mapping study and a quantitative literature reviewEngineering Science and Technology, an International Journal10.1016/j.jestch.2020.11.005Online publication date: Dec-2020
https://doi.org/10.1016/j.jestch.2020.11.005
Cassano VMaibaum T(2014)Actions and Events in Concurrent Systems DesignElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.139.3139(31-45)Online publication date: 2-Jan-2014
https://doi.org/10.4204/EPTCS.139.3
Deng H(2013)Study on Lifecycle and Criteria of Software EngineeringApplied Mechanics and Materials10.4028/www.scientific.net/AMM.303-306.2341303-306(2341-2344)Online publication date: Feb-2013
https://doi.org/10.4028/www.scientific.net/AMM.303-306.2341
Huang R(2012)Principles of Software Engineering and their ApplicationsApplied Mechanics and Materials10.4028/www.scientific.net/AMM.170-173.3468170-173(3468-3471)Online publication date: May-2012
https://doi.org/10.4028/www.scientific.net/AMM.170-173.3468
Vegas SJuristo NBasili V(2009)Maturing Software Engineering Knowledge through ClassificationsIEEE Transactions on Software Engineering10.1109/TSE.2009.1335:4(551-565)Online publication date: 1-Jul-2009
https://dl.acm.org/doi/10.1109/TSE.2009.13
Kang JPu JHuang JZhou ZYang H(2008)Business Intelligence Recovery from Legacy CodeProceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference10.1109/COMPSAC.2008.35(765-770)Online publication date: 28-Jul-2008
https://dl.acm.org/doi/10.1109/COMPSAC.2008.35
Hinds C(2008)The case against a positivist philosophy of requirements engineeringRequirements Engineering10.1007/s00766-008-0061-913:4(315-328)Online publication date: 7-Oct-2008
https://dl.acm.org/doi/10.1007/s00766-008-0061-9
Wassyng AMaibaum TLawford M(2008)On software certificationProceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development10.1007/978-3-642-12566-9_13(250-274)Online publication date: 24-Sep-2008
https://dl.acm.org/doi/10.1007/978-3-642-12566-9_13
Maibaum T(2007)Challenges in software certificationProceedings of the formal engineering methods 9th international conference on Formal methods and software engineering10.5555/1775348.1775351(4-18)Online publication date: 14-Nov-2007
https://dl.acm.org/doi/10.5555/1775348.1775351
Mannering DHall JRapanotti L(2007)Towards normal design for safety-critical systemsProceedings of the 10th international conference on Fundamental approaches to software engineering10.5555/1759394.1759434(398-411)Online publication date: 24-Mar-2007
https://dl.acm.org/doi/10.5555/1759394.1759434
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

The Name and Nature of Software Engineering

On the Cognitive Informatics Foundations of Software Engineering

Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

The Name and Nature of Software Engineering

On the Cognitive Informatics Foundations of Software Engineering

Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations