{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:16:22Z","timestamp":1729610182315,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/iri.2011.6009548","type":"proceedings-article","created":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T12:04:54Z","timestamp":1316520294000},"page":"212-217","source":"Crossref","is-referenced-by-count":0,"title":["E-CAL: A formal language for software model evolution"],"prefix":"10.1109","author":[{"given":"S.A.","family":"Ajila","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Shahid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"787","DOI":"10.1007\/11733836_56","article-title":"Adapting prime number labeling scheme for directed acyclic graphs","volume":"3882","author":"gang","year":"2006","journal-title":"Lecture Notes inComputer Science"},{"journal-title":"OCL 2 0 Specification Version 2 0","year":"2005","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/IWPSE.2005.24"},{"journal-title":"Semantics of a Foundational Subset for Executable UML Models","year":"0","key":"13"},{"journal-title":"Unified Modeling Language Specification","year":"2003","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008765200695"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/IWPSE.2005.7"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.05.001"},{"key":"2","first-page":"325","article-title":"Using model transformation semantics for aspectscomposition","author":"ajila","year":"2010","journal-title":"2010 IEEE 4th International Conference on SemanticComputing (IEEE-ICSC 2010)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.12.797"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1002\/0470871822"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141574"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.45"},{"journal-title":"Performance Analysis of Distributed Server Systems","year":"1999","author":"greg","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.895984"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012535017876"},{"journal-title":"Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers","year":"2003","author":"lamport","key":"8"}],"event":{"name":"2011 IEEE International Conference on Information Reuse & Integration (IRI 2011)","start":{"date-parts":[[2011,8,3]]},"location":"Las Vegas, NV","end":{"date-parts":[[2011,8,5]]}},"container-title":["2011 IEEE International Conference on Information Reuse & Integration"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5996363\/6009494\/06009548.pdf?arnumber=6009548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T02:39:33Z","timestamp":1497926373000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6009548\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iri.2011.6009548","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}