{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T18:48:01Z","timestamp":1751482081003,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T00:00:00Z","timestamp":1445817600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,26]]},"DOI":"10.1145\/2814251.2814259","type":"proceedings-article","created":{"date-parts":[[2020,12,24]],"date-time":"2020-12-24T04:19:10Z","timestamp":1608783550000},"page":"49-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Managing uncertainty in bidirectional model transformations"],"prefix":"10.1145","author":[{"given":"Romina","family":"Eramo","sequence":"first","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianni","family":"Rosa","sequence":"additional","affiliation":[{"name":"University of L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"214","volume-title":"MPC","author":"Abou-Saleh F.","year":"2015","unstructured":"F. Abou-Saleh , J. Cheney , J. Gibbons , J. McKinna , and P. Stevens . Notions of Bidirectional Computation and Entangled State Monads . MPC , pages 187\u2013 214 , 2015 . F. Abou-Saleh, J. Cheney, J. Gibbons, J. McKinna, and P. Stevens. Notions of Bidirectional Computation and Entangled State Monads. MPC, pages 187\u2013214, 2015."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0045-5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2013.12.1.a1"},{"key":"e_1_3_2_1_4_1","first-page":"202","volume-title":"SLE10","author":"Cicchetti A.","year":"2010","unstructured":"A. Cicchetti , D. Di Ruscio , R. Eramo , and A. Pierantonio . JTL: a bidirectional and change propagating transformation language . In SLE10 , pages 183\u2013 202 , 2010 . A. Cicchetti, D. Di Ruscio, R. Eramo, and A. Pierantonio. JTL: a bidirectional and change propagating transformation language. In SLE10, pages 183\u2013202, 2010."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_19"},{"key":"e_1_3_2_1_6_1","first-page":"76","volume-title":"From stateto deltabased bidirectional model transformations","author":"Diskin Z.","year":"2010","unstructured":"Z. Diskin , Y. Xiong , and K. Czarnecki . From stateto deltabased bidirectional model transformations . pages 61\u2013 76 , 2010 . Z. Diskin, Y. Xiong, and K. Czarnecki. From stateto deltabased bidirectional model transformations. pages 61\u201376, 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062554"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0170-z"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2008.22"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593770.2593772"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337290"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_41"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882389"},{"key":"e_1_3_2_1_14_1","first-page":"1080","volume-title":"Procs of ICLP","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond and V. Lifschitz . The Stable Model Semantics for Logic Programming . In Procs of ICLP , pages 1070\u2013 1080 , Cambridge, Massachusetts , 1988 . The MIT Press . M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Procs of ICLP, pages 1070\u20131080, Cambridge, Massachusetts, 1988. The MIT Press."},{"key":"e_1_3_2_1_15_1","first-page":"12","volume-title":"CCECE","author":"Ibrahim H.","unstructured":"H. Ibrahim , B. H. Far , A. Eberlein , and Y. Daradkeh . Uncertainty management in software engineering: Past, present, and future . In CCECE , pages 7\u2013 12 . IEEE, 2009. H. Ibrahim, B. H. Far, A. Eberlein, and Y. Daradkeh. Uncertainty management in software engineering: Past, present, and future. In CCECE, pages 7\u201312. IEEE, 2009."},{"key":"e_1_3_2_1_16_1","volume-title":"Parts I and II. Courier Corporation","author":"Knopp K.","year":"2013","unstructured":"K. Knopp . Theory of Functions , Parts I and II. Courier Corporation , July 2013 . K. Knopp. Theory of Functions, Parts I and II. Courier Corporation, July 2013."},{"key":"e_1_3_2_1_17_1","volume-title":"The DLV System for Knowledge Representation and Reasoning","author":"Leone N.","year":"2004","unstructured":"N. Leone , G. Pfeifer , W. Faber , T. Eiter , G. Gottlob , S. Perri , and F. Scarcello . The DLV System for Knowledge Representation and Reasoning , 2004 . N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV System for Knowledge Representation and Reasoning, 2004."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_22"},{"key":"e_1_3_2_1_19_1","unstructured":"Object Management Group (OMG). MOF 2.0 QVT Final Adopted Specification v1.1 2011. OMG Adopted Specification formal\/2011-01-01.  Object Management Group (OMG). MOF 2.0 QVT Final Adopted Specification v1.1 2011. OMG Adopted Specification formal\/2011-01-01."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-013-0170-y"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.21"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_23_1","first-page":"163","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"Sch\u00fcrr A.","unstructured":"A. Sch\u00fcrr . Specification of Graph Translators with Triple Graph Grammars . In Graph-Theoretic Concepts in Computer Science , pages 151\u2013 163 . Springer, 1995. A. Sch\u00fcrr. Specification of Graph Translators with Triple Graph Grammars. In Graph-Theoretic Concepts in Computer Science, pages 151\u2013163. Springer, 1995."},{"key":"e_1_3_2_1_24_1","first-page":"8","article-title":"Bidirectional model transformations in QVT: semantic issues and open questions","author":"Stevens P.","year":"2009","unstructured":"P. Stevens . Bidirectional model transformations in QVT: semantic issues and open questions . SOSYM , 8 , 2009 . P. Stevens. Bidirectional model transformations in QVT: semantic issues and open questions. SOSYM, 8, 2009.","journal-title":"SOSYM"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591102"}],"event":{"name":"SLE '15: Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Pittsburgh PA USA","acronym":"SLE '15"},"container-title":["Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814251.2814259","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814251.2814259","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:47Z","timestamp":1750227167000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2814251.2814259"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,26]]},"references-count":25,"alternative-id":["10.1145\/2814251.2814259","10.1145\/2814251"],"URL":"https:\/\/doi.org\/10.1145\/2814251.2814259","relation":{},"subject":[],"published":{"date-parts":[[2015,10,26]]},"assertion":[{"value":"2015-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}