Login / Signup
Axiomatizing Specification Theory.
T. S. E. Maibaum
M. R. Sadler
Published in:
ADT (1984)
Keyphrases
</>
formal theory
high level
theoretical framework
neural network
database
databases
real world
learning algorithm
website
case study
three dimensional
similarity measure
digital libraries
computational model
formal specification
theoretical basis