TY - JOUR
T1 - Toward a mathematical foundation of software engineering methods
AU - Broy, Manfred
N1 - Funding Information:
The thoughts presented above have benefited greatly from discussions within the SysLab team, with my colleagues of the IFIP working group 2.3, with software engineers from BMW, ESG, Siemens, Siemens Nixdorf, Digital Equipment, and many others. The paper was substantially revised taking into account extensive comments by Stefan Jähnichen and Peter Pepper. This work was carried out within the Forschungsverbund ForSoft, sponsored by the Bayerische Forschungsstiftung and the project SysLab sponsored by Siemens-Nixdorf and partially supported by the Deutsche Forschungsgemeinschaft under the Leibniz program.
PY - 2001/1
Y1 - 2001/1
N2 - The development of large software systems consists of a sequence of modeling tasks. It requires the modeling and description of the application domain, software requirements, software architecture, software components, their internal structure, and their implementation. Technically, in software engineering, we work with a development method and description techniques with modelling, refinement, and implementation concepts. Today, much of the modelling is carried out by informal text and graphical description techniques. The development is organized in a development process and supported by CASE tools. In this paper, we show how mathematics can provide a scientific foundation for the modelling aspects, description techniques, and development methods of software engineering. Such a scientific foundation leads to a deeper understanding of the development process and to a basis for a more powerful tool support.
AB - The development of large software systems consists of a sequence of modeling tasks. It requires the modeling and description of the application domain, software requirements, software architecture, software components, their internal structure, and their implementation. Technically, in software engineering, we work with a development method and description techniques with modelling, refinement, and implementation concepts. Today, much of the modelling is carried out by informal text and graphical description techniques. The development is organized in a development process and supported by CASE tools. In this paper, we show how mathematics can provide a scientific foundation for the modelling aspects, description techniques, and development methods of software engineering. Such a scientific foundation leads to a deeper understanding of the development process and to a basis for a more powerful tool support.
UR - https://www.scopus.com/pages/publications/0035105002
U2 - 10.1109/32.895987
DO - 10.1109/32.895987
M3 - Article
AN - SCOPUS:0035105002
SN - 0098-5589
VL - 27
SP - 42
EP - 57
JO - IEEE Transactions on Software Engineering
JF - IEEE Transactions on Software Engineering
IS - 1
ER -