Formal methods

Jonathan P. Bowen; Michael G. Hinchey

Formal methods

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

Computers do not make mistakes, or so we are told. However, computer software is written by, and hardware systems are designed and assembled by, humans, who certainly do make mistakes. Errors in a computer system can occur as a result of misunderstood or contradictory requirements, unfamiliarity with the problem, or simply human error during design or coding of the system. Alarmingly, the costs of maintaining software - the costs of rectifying errors and adapting the system to meet changing requirements or changes in the environment of the system - greatly exceed the original implementation costs.

Original language	English
Title of host publication	Computer Science Handbook, Second Edition
Publisher	CRC Press
Pages	106-1-106-25
ISBN (Electronic)	9780203494455
ISBN (Print)	9781584883609
Publication status	Published - 1 Jan 2004
Externally published	Yes

Cite this

@inbook{bd4df265e85b4679ab1b576aae4c2201,

title = "Formal methods",

abstract = "Computers do not make mistakes, or so we are told. However, computer software is written by, and hardware systems are designed and assembled by, humans, who certainly do make mistakes. Errors in a computer system can occur as a result of misunderstood or contradictory requirements, unfamiliarity with the problem, or simply human error during design or coding of the system. Alarmingly, the costs of maintaining software - the costs of rectifying errors and adapting the system to meet changing requirements or changes in the environment of the system - greatly exceed the original implementation costs.",

author = "Bowen, {Jonathan P.} and Hinchey, {Michael G.}",

note = "Publisher Copyright: {\textcopyright} 2004 by CRC Press, LLC.",

year = "2004",

month = jan,

day = "1",

language = "English",

isbn = "9781584883609",

pages = "106--1--106--25",

booktitle = "Computer Science Handbook, Second Edition",

publisher = "CRC Press",

}

TY - CHAP

T1 - Formal methods

AU - Bowen, Jonathan P.

AU - Hinchey, Michael G.

PY - 2004/1/1

Y1 - 2004/1/1

N2 - Computers do not make mistakes, or so we are told. However, computer software is written by, and hardware systems are designed and assembled by, humans, who certainly do make mistakes. Errors in a computer system can occur as a result of misunderstood or contradictory requirements, unfamiliarity with the problem, or simply human error during design or coding of the system. Alarmingly, the costs of maintaining software - the costs of rectifying errors and adapting the system to meet changing requirements or changes in the environment of the system - greatly exceed the original implementation costs.

AB - Computers do not make mistakes, or so we are told. However, computer software is written by, and hardware systems are designed and assembled by, humans, who certainly do make mistakes. Errors in a computer system can occur as a result of misunderstood or contradictory requirements, unfamiliarity with the problem, or simply human error during design or coding of the system. Alarmingly, the costs of maintaining software - the costs of rectifying errors and adapting the system to meet changing requirements or changes in the environment of the system - greatly exceed the original implementation costs.

UR - http://www.scopus.com/inward/record.url?scp=85056492062&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:85056492062

SN - 9781584883609

SP - 106-1-106-25

BT - Computer Science Handbook, Second Edition

PB - CRC Press

ER -

Formal methods

Abstract

Other files and links

Fingerprint

Cite this