Specification completion for IOCO.

Igor B. Bourdonov Alexander S. Kossatchev

Published in: Program. Comput. Softw. (2011)

Keyphrases

high level
formal specification
formal methods
database
databases
decision trees
three dimensional
digital libraries
software engineering
transition systems