{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:11:44Z","timestamp":1761581504039,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/memcod.2016.7797747","type":"proceedings-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T16:54:22Z","timestamp":1483030462000},"page":"65-70","source":"Crossref","is-referenced-by-count":9,"title":["Frame conditions in symbolic representations of UML\/OCL models"],"prefix":"10.1109","author":[{"given":"Nils","family":"Przigoda","sequence":"first","affiliation":[]},{"given":"Jonas Gomes","family":"Filho","sequence":"additional","affiliation":[]},{"given":"Philipp","family":"Niemann","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.469460"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07452-8_4"},{"key":"ref12","first-page":"194","article-title":"Ambiguity issues in OCL postconditions","author":"cabot","year":"2006","journal-title":"OCL Workshop"},{"key":"ref13","first-page":"198","article-title":"From Declarative to Imperative UML\/OCL Operation Specifications","year":"2007","journal-title":"Conceptual Modeling"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_47"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0215-y"},{"key":"ref16","article-title":"Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5","author":"brucker","year":"2014","journal-title":"Archive of Formal Proofs"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0646"},{"journal-title":"Int'l Conf on Model Driven Engineering Languages and Systems","article-title":"Extracting framé conditions from operation contracts","year":"2015","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338248"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-00255-7_4","article-title":"Vérifying UML\/OCL Operation Contracts","volume":"5423","author":"cabot","year":"2009","journal-title":"Integrated Formal Methods Ser Lecture Notes in Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9028-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763177"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/978-3-642-33666-9_27","article-title":"From UML and OCL to Relational Logic and Back","author":"kuhlmann","year":"2012","journal-title":"Int'l Conf on Model Driven Engineering Languages and Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.88"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09099-3_8"},{"journal-title":"Object Constraint Language","year":"2014","key":"ref2"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"ref1"},{"journal-title":"The SMT-LIB Standard Version 2 0","year":"2010","author":"barrett","key":"ref9"}],"event":{"name":"2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2016,11,18]]},"location":"Kanpur, India","end":{"date-parts":[[2016,11,20]]}},"container-title":["2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786794\/7797738\/07797747.pdf?arnumber=7797747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T22:15:44Z","timestamp":1568672144000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7797747\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/memcod.2016.7797747","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}