Reproducibility as a Technical Specification.

Tom Crick Benjamin A. Hall Samin Ishtiaq

Published in: CoRR (2015)

Keyphrases

formal specification
high level
real time
specification language
three dimensional
wide variety
temporal ordering
database
reactive systems
requirements analysis
technical issues
formal methods
user defined
multiresolution
evolutionary algorithm
multiscale
knowledge base
e learning
learning algorithm