Proof-Based Development of Specifications with KIDS/VDM.

Published in: FME (1994)

Keyphrases

decision support
neural network
information systems
learning activities
knowledge based systems
delay insensitive
information retrieval
case study
software engineering
information processing
rapid development
development environment
reactive systems