A logic base tool set for real-time Ada software development.

Published in: WADAS (1991)

Keyphrases

real time
software development
modal logic
neural network
artificial intelligence
case study
object oriented
low cost
belief revision
classical logic
predicate calculus