{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:24:26Z","timestamp":1729661066857,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100130","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T18:30:08Z","timestamp":1324060208000},"page":"580-583","source":"Crossref","is-referenced-by-count":1,"title":["Implementing efficient model validation in EMF tools"],"prefix":"10.1109","author":[{"given":"Gabor","family":"Bergmann","sequence":"first","affiliation":[]},{"given":"Abel","family":"Hegedus","sequence":"additional","affiliation":[]},{"given":"Akos","family":"Horvath","sequence":"additional","affiliation":[]},{"given":"Istvan","family":"Rath","sequence":"additional","affiliation":[]},{"given":"Zoltan","family":"Ujhelyi","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Varro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.038"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.03.009"},{"key":"14","article-title":"Incremental consistency checking of dynamic constraints","volume":"6013","author":"groher","year":"2010","journal-title":"LNCS"},{"key":"11","article-title":"Improved flexibility and scalability by interpreting story diagrams","volume":"18","author":"giese","year":"2009","journal-title":"Proceedings of GT-VMT 2009"},{"journal-title":"Object Constraint Language v2 0","year":"2006","key":"12"},{"key":"3","article-title":"Incremental Evaluation of Model Queries over EMF Models","volume":"6395","author":"bergmann","year":"2010","journal-title":"LNCS"},{"journal-title":"MDT OCL","year":"0","key":"2"},{"journal-title":"Eclipse Modeling Framework","year":"0","key":"1"},{"key":"10","article-title":"Precise Semantics of EMF Model Transformations by Graph Transformation","author":"biermann","year":"2008","journal-title":"MoDELS'08"},{"key":"7","article-title":"A Graph Query Language for EMF models","author":"bergmann","year":"2011","journal-title":"Proc of ICMT'11 3rd Intl Conference on Model Transformation"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.05.004"},{"journal-title":"MDT Papyrus","year":"0","key":"5"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-87405-8_27","article-title":"Incremental pattern matching in the VIATRA model transformation system","author":"bergmann","year":"2008","journal-title":"Graph and Model Transformation (GraMoT 2008)"},{"journal-title":"EMFT Search","year":"0","key":"9"},{"journal-title":"EMF Model Query","year":"0","key":"8"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2011,11,6]]},"location":"Lawrence, KS, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100130.pdf?arnumber=6100130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T11:28:20Z","timestamp":1497958100000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100130\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100130","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}