Automated Invariant Maintenance Via OCL Compilation.

Kurt Stirewalt Spencer Rugaber

Published in: MoDELS (2005)

Keyphrases

tool support
semi automated
information systems
affine invariant
software maintenance
invariant features
automated analysis
real time
search engine
test cases
computer aided
modeling language
maintenance cost
translation invariant