Moving Specification Structures Between Logical Systems.

Tomasz Borzyszkowski

Published in: WADT (1998)

Keyphrases

expert systems
distributed systems
real time
intelligent systems
formal methods
exception handling
artificial intelligence
decision making
digital libraries
object oriented
learning systems
finite state machines
specification language
formal languages