Login / Signup
Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study.
Christine Lafontaine
Published in:
Programming Concepts and Methods (1990)
Keyphrases
</>
case study
meta level
software development
real world
human behavior
human interaction
neural network
machine learning
relational databases
lessons learned
formal model
meta reasoning