Map
Index
Random
Help
th

Quote: a property is a set of system behaviors; verify for each possible system execution

topics > all references > references a-b > QuoteRef: abadM1_1993 , p. 78



Topic:
requirement specification by behaviors

Quotation Skeleton

We will formally define a property to be … the behavior (a sequence of states and agents) … [p. 79] Our definition of a property as a … by examining each possible system execution by itself, … [This means can specify an average over an execution but not over all executions].   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: requirement specification by behaviors (16 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.