On the Role of Logic and Algebra in Software Engineering

Manfred Broy ()
Additional contact information
Manfred Broy: Technische Universitaet Muenchen, Fakultaet fuer Informatik

A chapter in Mathematics, Computer Science and Logic - A Never Ending Story, 2013, pp 51-68 from Springer

Abstract: Abstract Software engineering is a field of high relevance for many practical areas of advanced technology. It is essential also for a number of safety critical systems and technical infrastructures. Stimulated by the exponential growth of the power and speed of electronic hardware we observe an exponential growth in the functionality, the size, and complexity of software. In contrast to electronic hardware where we expect that everything is built based on carefully investigated theories with a deep scientific understanding, software creation still is to a large extend ad hoc. Nevertheless, due to the rising quality demands for software and the necessary improvement of productivity by advanced tools we see a growing need for a proper foundation and comprehensive theory of software engineering. In the following we outline the role that we see for logic and algebra in the emerging field of software engineering.

Keywords: Software Development; Model Check; Software Engineering; Software Engineer; Temporal Logic (search for similar items in EconPapers)
Date: 2013
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-00966-7_2

Ordering information: This item can be ordered from
http://www.springer.com/9783319009667

DOI: 10.1007/978-3-319-00966-7_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().