Login / Signup
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML.
Jorne Kandziora
Marieke Huisman
Christoph Bockisch
Marina Zaharieva-Stojanovski
Published in:
FTfJP@ECOOP (2015)
Keyphrases
</>
semantic annotation
image annotation
metadata
multi user
gene ontology
database
data sets
neural network
active learning
mutual exclusion
annotation tool