Verifying task-based specifications in conceptual graphs

Lee, Jonathan

Verifying task-based specifications in conceptual graphs

A conceptual model is a model of real world concepts and application domains as perceived by users and developers


VERIFICATION
CONCEPTUAL MODEL
TASK-BASED SPECIFICATIONS
CONCEPTUAL GRAPHS

H004.41 INF