Validating Behavioral Component Interfaces in Rewriting Logic.

Einar Broch Johnsen Olaf Owe Arild B. Torjusen

Published in: Fundam. Informaticae (2008)

Keyphrases

modal logic
classical logic
software components
user interface
logic programming
predicate logic
neural network
knowledge base
defeasible logic