Validation Measures in CMMI
Value Withdrawal Explanation in CSP
Value withdrawal explanations: a theoretical tool for programming environments
Variable elimination for building interpreters
Verification and validation of IRAS on-board software
Verifying Eiffel Programs with Boogie
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology
vFlow: A GUI-Based Tool for Building Batch Applications for Cloud Computing
Views, Program Transformations, and the Evolutivity Problem in a Functional Language
Visual DCT - Visual EPICS Database Configuration Tool
VPOET: Using a Distributed Collaborative Platform for Semantic Web Applications