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
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