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
128 Requirements Engineering for Software and Systems
likely use this technique for requirements verification only for highly mission-
critical situations. For example, the launch/no-launch decision logic for a weapon,
dosage administration logic for some kind of medical equipment, shut-down logic
for a nuclear power plant, and so on.
Theorem Proving
eorem proving techniques can be used to demonstrate that specifications are cor-
rect. at is, axioms of system behavior can be used to derive a proof that a system
(or program) will behave in a given way. Remember, a specification and program
are both the same thing—a model of executio
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