The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (2001 vol.27)
pp: 42-57
ABSTRACT
<p><b>Abstract</b>—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 <it>development method</it> and <it>description techniques</it> with modeling, refinement, and implementation concepts. Today, much of the modeling is carried out by informal text and graphical description techniques. The development is organized in a <it>development process</it> and supported by <it>CASE</it> tools. In this paper, we show how mathematics can provide a scientific foundation for the modeling 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.</p>
INDEX TERMS
Software engineering, system models, description techniques.
CITATION
Manfred Broy, "Toward a Mathematical Foundation of Software Engineering Methods", IEEE Transactions on Software Engineering, vol.27, no. 1, pp. 42-57, January 2001, doi:10.1109/32.895987
46 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool