Login / Signup
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS.
Dines Bjørner
Anne Elisabeth Haxthausen
Klaus Havelund
Published in:
Future Gener. Comput. Syst. (1992)
Keyphrases
</>
formal model
software development
preprocessing
information technology
computational cost
data sets
neural network
significant improvement
case based reasoning
software engineering
benchmark datasets
machine learning methods