Index T

[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [L] [M] [N] [O] [P] [R] [S] [T] [U] [V]

tag
    predefined, in constraint idiom 
tag:disjoint
    tag:complete; 
tag:identifier
    identifier:tag 
tag:identifying attribute
    identifying attribute:tag 
tag:referential attribute
    referential attribute:tag 
test
    execution 
test case  2nd  3rd 
    finding 
    for use cases 
    initation of 
    scenarios  2nd 
test vector  2nd 
    A test vector is a combination of system state, parameter values for an initiating signal, and an ex 
    checking automatically 
time 
    global 
    scope of model 
time:exact
    exact time 
transition 
    A transition abstracts the progression from state to state as caused by an event.