GDPA  
Process Verification  

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

Identification

Process Verification

Definitions/Uses

1998
Reference /Derniame, 1998/ Software Process: principles, methodology and technology
Definition/
Use
The process of formally proving useful properties of a model.
1993
Reference /Lonchamp, 1993/ A Structured Conceptual and Terminological Framework for Software Process Engineering
Definition/
Use
The verification of a software process model is directed towards the formal proof of model properties.

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster