Affordable Access

Publisher Website

Mathematics, Computer Science, Software Engineering

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
40
Identifiers
DOI: 10.1016/s1571-0661(05)80044-1
Disciplines
  • Computer Science
  • Engineering
  • Mathematics

Abstract

Abstract In this talk I want to examine three ideas: First, the traditional relationship between a science, the mathematics it uses, and the engineering for which it is the basis. Second, the role of mathematics in the practice of software engineering, which is sometimes called “formal methods.” And finally, the role of theory in computer science, and the impatience of practical people with theoretical knowledge. These three ideas turn on the first of them, since it defines the “scientific” worldview that the study of software naturally assumes.

There are no comments yet on this publication. Be the first to share your thoughts.