Where Do Operations Come From: A Multiparadigm Specification Technique.

Pamela Zave Michael Jackson

Published in: IEEE Trans. Software Eng. (1996)

Keyphrases

probabilistic model
neural network
high level
artificial neural networks
data model
software engineering
specification language
operational semantics
provably correct