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
118 Requirements Engineering for Software and Systems
INVARIANTs—conditions that must hold throughout the execution of the pro-
gram. Here N represents the natural numbers {0,1,2,3, …}. We continue with a
partial description of the behavioral intent of this model.
Notice that the three variables of interest are the platforms, max_trains, and
trains_in_station. e INVARIANT sets constraints on the number of trains in
the station (must be a non-negative number) and the maximum number of trains
in the system (must be a non-negative number and there can be no more than that
number in the station). It continues with platforms as a sequence of t ...
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