These are the most frequently used words in this book.
active
application
assignment
behavior
between
case
change
chart
cl
class
cold
condition
constraints
construct
contains
context
copy
cut
defined
definition
different
display
does
during
enabled
end
environment
events
example
execution
existential
expression
external
false
fig
figure
first
forbidden
function
given
gui
hot
instance
language
light
location
loop
lsc
main
may
message
method
mode
model
must
note
now
number
object
occur
order
part
phone
playing
possible
prechart
process
property
requirements
run
sc
scenario
see
semantics
send
sequence
set
should
shows
since
specification
specify
start
state
subchart
switch
symbolic
system
therefore
thus
time
true
two
type
universal
use
used
user
value
variable