# Frame conditions in symbolic representations of UML/OCL models

> Research article (2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2016) · cited 12× · AI/ML

**Wikidata**: [openalex:W2563769373](https://www.wikidata.org/wiki/openalex:W2563769373)  
**Source**: https://4ort.xyz/entity/frame-conditions-in-symbolic-representations-of-uml-ocl-models