Reasoning about VDM Developments using the VDM Support Tool in MURAL.

Juan Bicarregui Brian Ritchie

Published in: VDM Europe (1) (1991)

Keyphrases

genetic algorithm
design tools
end users
artificial intelligence
digital libraries
recommender systems
decision support
computing environments
web based collaborative