Integrating UML/OCL Derived Properties into Validation and Verification Processes.

Frank Hilken, Marcel Schuster, Karsten Sohr, Martin Gogolla

Browse the full MODELS paper archive.