The Vienna development method (VDM): Software specification & program synthesis.

Published in: Mathematical Studies of Information Processing (1978)

Keyphrases

program synthesis
detection method
database
machine learning
case study
similarity measure
objective function
object oriented
software engineering
co occurrence
software design