Difference between revisions of "T-VEC Tablular Modeler"

From T-VEC Wiki
Jump to: navigation, search
(Latest Features)
Line 84: Line 84:
 
* Intermediate variable
 
* Intermediate variable
 
** Intermediate variables make it easy to accept the results of a function and they reference in condition, event or assignment the intermediate value attributes
 
** Intermediate variables make it easy to accept the results of a function and they reference in condition, event or assignment the intermediate value attributes
 
+
* Disjointness Checking (sometimes also referred to as Disjointedness Checking)
 +
** Verifies that no conditions in a table overlap.
 +
* Race Condition Checking
 +
** Verifies that no transitions from a common source state can occur simultaneously.
 
The [[Examples|Examples]] section covers some general approaches that take advantage of the latests TTM features, which are important to using modeling from a project and team oriented perspective.
 
The [[Examples|Examples]] section covers some general approaches that take advantage of the latests TTM features, which are important to using modeling from a project and team oriented perspective.
  
 
==References==
 
==References==
 
#Constance Heitmeyer.  Using the SCR  Toolset to Specify Software Requirements.  ''Proceedings, Second IEEE Workshop on Industrial Strength Formal Specification Techniques'', Boca Raton, FL, Oct. 19, 1998.
 
#Constance Heitmeyer.  Using the SCR  Toolset to Specify Software Requirements.  ''Proceedings, Second IEEE Workshop on Industrial Strength Formal Specification Techniques'', Boca Raton, FL, Oct. 19, 1998.

Revision as of 13:32, 14 October 2007