ABSTRACT
Executive summary: T-VEC is a U.S. company that applies meta-models to requirements, design, and verification of software. The T-VEC tool suite is often used in avionics and defense applications, including the Mars Rover. T-VEC is not a full development methodology, but rather a model-driven set of tools to handle requirements, architecture, and design. T-VEC tools also support test case generation from models. Actual code development is not part of the T-VEC suite. However, T-VEC requirements can be input into any of several application generators. See also the chapters on model-driven development and IntegraNova .
