Reasoning with Executable Specifications.

Yves Bertot Ranan Fraer

Published in: TAPSOFT (1995)

Keyphrases

formal specification
control flow
attribute grammars
reasoning process
knowledge representation
knowledge base
specification language
reasoning systems
information systems
high level
source code
finite state machines
computational properties
knowledge representation and reasoning
deductive reasoning