Skip to Main Content
Requirements Engineering for Software and Systems
book

Requirements Engineering for Software and Systems

by Phillip A. Laplante
March 2011
Intermediate to advanced content levelIntermediate to advanced
264 pages
7h 40m
English
CRC Press
Content preview from Requirements Engineering for Software and Systems
113
6Chapter
Formal Methods
Motivation
Systems have tremendous sensitivity to errors in a requirements specification—even
a misplaced comma can have severe consequences. In code implementation, it is
obvious that misplacing even a single character can make a great deal of difference.
In fact, the accidental substitution of a period for a comma in a single Fortran
statement resulted in the loss of the Mariner 1, the first American probe to Venus
in 1962. But how can such a serious problem exist when misplacing a character in
a requirements specification? Let’s see how that might be so.
e title of Lynne Truss’s 2004 book on punctuation, Eats Shoots ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

System Requirements Engineering

System Requirements Engineering

Jean-Yves Bron
Process for System Architecture and Requirements Engineering

Process for System Architecture and Requirements Engineering

Derek Hatley, Peter Hruschka, Imtiaz Pirbhai

Publisher Resources

ISBN: 9781420064681