Conference
The use of mathematics in software development (extended abstract)
Abstract
For many decades, computer science researchers have predicted that the "Formal Methods" that they develop and advocate would bring about a drastic improvement in the quality and cost of software. That improvement has never materialized. This talk explain the difference between the methods and notations that constitute "Formal Methods" and the mathematical methods and notation that are used successfully in other areas of Engineering. It …
Authors
Parnas DL
Volume
6916 LNCS
Pagination
pp. 4-5
Publication Date
September 19, 2011
DOI
10.1007/978-3-642-23283-1_2
Conference proceedings
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
ISSN
0302-9743