Pattern-based Mapping of OCL Specifications to JML Contracts.

Published in: MODELSWARD (2014)

Keyphrases

metamodel
neural network
delay insensitive
search engine
constraint language
data mining
high level
relational databases
test cases
temporal logic