set. An unordered collection of distinct elements. In the NModel library, set is a
compound value.
scenario FSM. A scenario model program expressed as an FSM.
scenario model program. A model program that defines a scenario, usually intended
for scenario control. Contrast to contract model program.
shared action. An action whose action symbol appears in the action vocabulary of
two or more programs. Under composition, model programs synchronize steps for
shared actions.
side effect. Any effect of evaluating an expression or executing a statement, other
than computing a value. Updating variables, allocating storage, or performing input
or output are examples of side effects.
signature. The name and parameters of a method, or the action symbol and parameters
of an action.
simple name. In C#, a name not including the namespace. A simple name need not
be unique. Contrast to fully qualified name.
simulation. A model-based analysis technique, where runs of a model program
are observed. Each run of a model program is a simulation of some behavior
of the implementation. Simulation can include run-time checks. Sometimes called
animation. Compare to exploration.
slice. A collection of features.
sliding window. A protocol that uses a pool of resources (the ???window???) whose
contents change (???slide???) as time progresses.
source program. In C#, the collection of source code files (perhaps just one) that
are compiled to produce an assembly.
Pages:
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423