{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:53:18Z","timestamp":1750308798948,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,5]],"date-time":"2009-10-05T00:00:00Z","timestamp":1254700800000},"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":[[2009,10,5]]},"DOI":"10.1145\/1656485.1656493","type":"proceedings-article","created":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T19:26:20Z","timestamp":1259695580000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Generating class contracts from UML protocol statemachines"],"prefix":"10.1145","author":[{"given":"Ivan","family":"Porres","sequence":"first","affiliation":[{"name":"\u00c5bo Akademi University, Turku, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irum","family":"Rauf","sequence":"additional","affiliation":[{"name":"\u00c5bo Akademi University, Turku, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"UML Revision Task Force. OMG UML Specification 2.2 2009. Available at http:\/\/www.omg.org\/spec\/UML\/2.2\/.  UML Revision Task Force. OMG UML Specification 2.2 2009. Available at http:\/\/www.omg.org\/spec\/UML\/2.2\/."},{"volume-title":"Detect Specification-Code Inconsistencies. In Proceedings of the 2007 International Conference on Software Engineering Theory and Practice, July 9--12","year":"2007","author":"Cheon Y.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287685"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647983.757281"},{"volume-title":"Proceedings of Net.ObjectDays 2005, 6th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts and Applications for a Networked World (2005)","author":"Ciupa I.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125811"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19990602"},{"key":"e_1_3_2_1_9_1","series-title":"Lecture Notes in Computer Science 2185","first-page":"376390","volume-title":"4th International Conference","author":"Sekerinski E.","year":"2001"},{"key":"e_1_3_2_1_10_1","first-page":"430445","volume-title":"Proc. 2nd Int. Conf. UML, Lect. Notes Comp. Sci. 1723","author":"Lilius J.","year":"1999"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646847.707098"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566183"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/647418.725482"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.40"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_16_1","first-page":"296","volume-title":"Proceedings of the Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology","author":"Kansomkeat S.","year":"2003"},{"key":"e_1_3_2_1_17_1","unstructured":"Van Der Straeten R.: Inconsistency Management in Model-driven Engineering. An Approach using Description Logics. PhD thesis Department of Computer Science Vrije Universiteit Brussel Belgium (2005)  Van Der Straeten R.: Inconsistency Management in Model-driven Engineering. An Approach using Description Logics. PhD thesis Department of Computer Science Vrije Universiteit Brussel Belgium (2005)"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2006.19"},{"volume-title":"Formal Underpinnings of Java Workshop","year":"1998","author":"Leavens G. T.","key":"e_1_3_2_1_19_1"},{"volume-title":"Proceedings of IASTED International Conf. on Software Engineering (SE 2004)","year":"2005","author":"Niaz I. A.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"Lampinen J. Interface specification methods for software components Publications in the Laboratory for Theoretical Computer Science. 2008.  Lampinen J. Interface specification methods for software components Publications in the Laboratory for Theoretical Computer Science. 2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"}],"event":{"name":"MoDeVVa '09: 2009 Models workshop on Model-Driven Engineering, Verification, and Validation","acronym":"MoDeVVa '09","location":"Denver Colorado USA"},"container-title":["Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1656485.1656493","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1656485.1656493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:25:55Z","timestamp":1750278355000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1656485.1656493"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,5]]},"references-count":21,"alternative-id":["10.1145\/1656485.1656493","10.1145\/1656485"],"URL":"https:\/\/doi.org\/10.1145\/1656485.1656493","relation":{},"subject":[],"published":{"date-parts":[[2009,10,5]]},"assertion":[{"value":"2009-10-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}