VDM in Three Generations of Ada* Formal Descriptions.

Jan Storbank Pedersen

Published in: VDM Europe (1987)

Keyphrases

formal descriptions
formal concept analysis
computational model
web services
search algorithm
data sets
decision trees
computational complexity
multi objective