1. Concepts and terminology for the conceptual schema and the information base;Van Griethuysen,1982
2. Translating OCL to graph patterns;Bergmann,2014
3. Incremental inconsistency detection with low memory overhead;Falleri;Softw. Pract. Exp.,2014
4. Using an OCL impact analysis algorithm for view-based textual modelling;Uhl;ECEASST,2011
5. Incremental consistency checking of dynamic constraints;Groher,2010