EZ: A System for Automatic Prototyping of Z Specifications.

Veronika Doma Robin A. Nicholl

Published in: VDM Europe (1) (1991)

Keyphrases

semi automatic
high level
special case
fully automatic
real world
data mining
learning algorithm
social networks
knowledge base
code generation
concurrent systems