Finite Axiom Systems for Testing Preorder and De Simone Process Languages.

Published in: AMAST (1996)

Keyphrases

databases
management system
knowledge based systems
neural network
intelligent systems
test cases
complex systems
process model
development process
target language
description languages