Word List for Yu - University of Toronto

SPIN model checker. SR (Strategic Rationale) S-R Tool. state of the art (noun) statechart. step-by-step (adjective) SSI (server side includes. SSLink. SSM (soft system methodology) STLink. ST-Tool. stopgap. straightforward. strategy-time (noun, adjective) structure-in-5. subcontractor. subelement. subgoal. subprocess. subtask. successor state ... ................
................