Coverage of OCL Operation Specifications and Invariants.

Mathias Soeken Julia Seiter Rolf Drechsler

Published in: TAP@STAF (2015)

Keyphrases

data sets
delay insensitive
modeling language
neural network
high level
database systems
test cases
affine invariant
power plant
databases
formal specification
moment invariants
specification language
constraint language
uml class diagrams
database
written in natural language
imperative programs