Login / Signup
06191 Abstracts Collection -- Rigorous Methods for Software Construction and Analysis.
Jean-Raymond Abrial
Uwe Glässer
Published in:
Rigorous Methods for Software Construction and Analysis (2007)
Keyphrases
</>
real time
benchmark datasets
significant improvement
analysis tool
digital libraries
software development
methods require
machine learning methods
statistical analysis
empirical studies
computer systems
evolutionary algorithm
image analysis
search algorithm
reinforcement learning
decision trees
website