Formal Development with ABEL.

Ole-Johan Dahl Olaf Owe

Published in: VDM Europe (2) (1991)

Keyphrases

development environment
software engineering
rapid development
database
database systems
decision support
development process
neural network
machine learning
genetic algorithm
similarity measure
expert systems
mobile robot
formal model
support systems
formal models