Invariant Implementation for Domain Models Applying Incremental OCL Techniques.

Alberto Manuel Fernndez lvarez, Daniel Fernndez Lanvin, Manuel Quintela-Pumares

Browse the full ICSoft paper archive.