Simplification of UML/OCL schemas for efficient reasoning

Xavier Oriol, Ernest Teniente. Simplification of UML/OCL schemas for efficient reasoning. Journal of Systems and Software, 128:130-149, 2017. [doi]

Authors

Xavier Oriol

This author has not been identified. Look up 'Xavier Oriol' in Google

Ernest Teniente

This author has not been identified. Look up 'Ernest Teniente' in Google