 |
 |
 |
|
| Glossary V |
A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z About Glossary
Process Technologies: General
ValidationVariant
Verification
Verification
Dynamic VerificationVerification
Static VerificationVersion
View
Behavioral View ProcessView
Functional View (Process)View
Informational View (Process)View
Organizational View (Process)View
Production ProcessView
Process ViewView
Process ViewpointsV-Model
Methods/Techniques: Software Development
Verification Design VerificationVerification
Program VerificationProjects/products
V-Modell - Vorgehensmodell (German development standard)V-Modell Guide by IESE
V-Modell Homepage by IABG
V-Modell by ANSSTAND
VASIE - Value Added Software Information for Europe
VDM - Vienna Development Method
VeriSoft - model checking tool
VERSA - Verification Execution and Rewrite System for ACSR
VIS - Verification Interacting with Synthesis
VM Tailor 2.0
A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z About Glossary
|
|
|
This page online • GDPA Online • Last Updated 08.Oct.2002 by C. Freericks |