An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications.

Pierre Collette

Published in: Inf. Process. Lett. (1994)

Keyphrases

high level
production rules
rule extraction
multimedia
formal specification
artificial intelligence
rule sets
knowledge acquisition
delay insensitive
rule generation
specification language
finite state machines
decision rules
database
decision trees
information systems
search engine
neural network
databases