Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
Line 12: Line 12:
 
! <h2 style="margin:0;background-color:#cef2e0;font-size:120%;font-weight:bold;border:1px solid #a3bfb1;text-align:left;color:#000;padding:0.2em 0.4em;">Recent updates</h2>
 
! <h2 style="margin:0;background-color:#cef2e0;font-size:120%;font-weight:bold;border:1px solid #a3bfb1;text-align:left;color:#000;padding:0.2em 0.4em;">Recent updates</h2>
 
|-
 
|-
|style="color:#000"|Feb-2008: Enhanced support for strings in TTM/VGS.
+
|style="color:#000"|May-2008: Preliminary support for arrays in TTM/VGS.
 +
|-
 +
|style="color:#000"|May-2008: New T-VEC Server Service. This may require reboot after installation. This support hyperlinking from TTM to DOORS, and VGS to Simulink Models.
 
|-
 
|-
 
|style="color:#000"|Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
 
|style="color:#000"|Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.

Revision as of 11:31, 23 May 2008