Developing Reactive Systems in a VDM Framework.

Published in: Sci. Comput. Program. (1993)

Keyphrases

reactive systems
object oriented
main contribution
artificial intelligence
natural language
databases
probabilistic model
e government