{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:35Z","timestamp":1750307315335,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T00:00:00Z","timestamp":1307318400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["03FPB00320"],"award-info":[{"award-number":["03FPB00320"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,6]]},"DOI":"10.1145\/1993956.1993957","type":"proceedings-article","created":{"date-parts":[[2011,6,8]],"date-time":"2011-06-08T14:36:21Z","timestamp":1307543781000},"page":"5-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Enriching Java Enterprise interfaces with formal sequential contracts"],"prefix":"10.1145","author":[{"given":"Marco","family":"M\u00fcller","sequence":"first","affiliation":[{"name":"University of Duisburg-Essen, Campus Essen, Essen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moritz","family":"Balz","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen, Campus Essen, Essen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Goedicke","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen, Campus Essen, Essen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,6,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049404"},{"key":"e_1_3_2_1_2_1","unstructured":"Sun Microsystems Inc.: JSR 316: Java#8482;Platform Enterprise Edition 6 (Java EE 6) Specification (December 2009) http:\/\/jcp.org\/en\/jsr\/detail?id=316.  Sun Microsystems Inc.: JSR 316: Java#8482;Platform Enterprise Edition 6 (Java EE 6) Specification (December 2009) http:\/\/jcp.org\/en\/jsr\/detail?id=316."},{"key":"e_1_3_2_1_3_1","unstructured":"Sun Microsystems Inc.: Introduction to the Java#8482; EE 6 Platform. White Paper (2009)  Sun Microsystems Inc.: Introduction to the Java#8482; EE 6 Platform. White Paper (2009)"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_5_1","unstructured":"Sun Microsystems Inc.: JSR 175: A Metadata Facility for the Java#8482;Programming Language (2004) http:\/\/jcp.org\/en\/jsr\/detail?id=175.  Sun Microsystems Inc.: JSR 175: A Metadata Facility for the Java#8482;Programming Language (2004) http:\/\/jcp.org\/en\/jsr\/detail?id=175."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-006-9001-4"},{"key":"e_1_3_2_1_7_1","volume-title":"Cheon","author":"Leavens G.","year":"2006","unstructured":"Leavens , G. , Cheon , Y. : Design by Contract with JML. http:\/\/www.jmlspecs.org\/jmldbc.pdf ( 2006 ) Leavens, G., Cheon, Y.: Design by Contract with JML. http:\/\/www.jmlspecs.org\/jmldbc.pdf (2006)"},{"key":"e_1_3_2_1_8_1","first-page":"345","volume":"2591","author":"Heinlein C.","year":"2009","unstructured":"Heinlein , C. : Advanced Thread Synchronization in Java Using Interaction Expressions. Objects, Components , Architectures, Services , and Applications for a Networked World 2591\/2009 ( 2009 ) 345 -- 365 Heinlein, C.: Advanced Thread Synchronization in Java Using Interaction Expressions. Objects, Components, Architectures, Services, and Applications for a Networked World 2591\/2009 (2009) 345--365","journal-title":"Networked World"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11550679_9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/985072.985111"},{"key":"e_1_3_2_1_11_1","volume-title":"Kuperberg","author":"Reussner R.","year":"2007","unstructured":"Reussner , R. , Becker , S. , Happe , J. , Koziolek , H. , Krogmann , K. , Kuperberg , M. : The Palladio Component Model. Technical report, Chair for Software Design & Quality (SDQ), University of Karlsruhe (TH) , Germany ( May 2007 ) Reussner, R., Becker, S., Happe, J., Koziolek, H., Krogmann, K., Kuperberg, M.: The Palladio Component Model. Technical report, Chair for Software Design & Quality (SDQ), University of Karlsruhe (TH), Germany (May 2007)"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.774917"},{"key":"e_1_3_2_1_13_1","volume-title":"Version 3.1, Part 1: CORBA Interfaces. Technical report","author":"Object Management Group","year":"2008","unstructured":"Object Management Group : Common Object Request Broker Architecture (CORBA) Specification , Version 3.1, Part 1: CORBA Interfaces. Technical report , Object Management Group (January 2008 ) http:\/\/www.omg.org\/spec\/CORBA\/3.1\/Interfaces\/PDF\/. Object Management Group: Common Object Request Broker Architecture (CORBA) Specification, Version 3.1, Part 1: CORBA Interfaces. Technical report, Object Management Group (January 2008) http:\/\/www.omg.org\/spec\/CORBA\/3.1\/Interfaces\/PDF\/."},{"volume-title":"In IJCAI '95 Workshop on Reflection and Metalevel Architectures and their Applications in AI. (1995)","author":"Demers F. N.","key":"e_1_3_2_1_14_1","unstructured":"Demers , F. N. , Malenfant , J. : Reflection in logic, functional and object-oriented programming: A Short Comparative Study . In: In IJCAI '95 Workshop on Reflection and Metalevel Architectures and their Applications in AI. (1995) 29--38 Demers, F. N., Malenfant, J.: Reflection in logic, functional and object-oriented programming: A Short Comparative Study. In: In IJCAI '95 Workshop on Reflection and Metalevel Architectures and their Applications in AI. (1995) 29--38"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41852"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287632"},{"key":"e_1_3_2_1_18_1","unstructured":"The Eclipse Foundation: Eclipse website http:\/\/www.eclipse.org\/.  The Eclipse Foundation: Eclipse website http:\/\/www.eclipse.org\/."},{"key":"e_1_3_2_1_19_1","first-page":"220","volume":"1241","author":"Kiczales G.","year":"1997","unstructured":"Kiczales , G. , Lamping , J. , Mendhekar , A. , Maeda , C. , Lopes , C. , Loingtier , J. M. , Irwing , J. : Aspect-Oriented Programming . ECOOP '97 - Object-Oriented Programming: 11th European Conference LNCS 1241 ( 1997 ) 220 -- 242 Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J. M., Irwing, J.: Aspect-Oriented Programming. ECOOP '97 - Object-Oriented Programming: 11th European Conference LNCS 1241 (1997) 220--242","journal-title":"European Conference LNCS"},{"key":"e_1_3_2_1_20_1","unstructured":"Sun Microsystems: Dynamic Proxy Classes Java SE Documentation (January 2010) http:\/\/java.sun.com\/javase\/6\/docs\/technotes\/guides\/reflection\/proxy.html.  Sun Microsystems: Dynamic Proxy Classes Java SE Documentation (January 2010) http:\/\/java.sun.com\/javase\/6\/docs\/technotes\/guides\/reflection\/proxy.html."}],"event":{"name":"BM-FA '11: The Third Workshop on Behavioural Modelling - Foundations and Application","acronym":"BM-FA '11","location":"Birmingham United Kingdom"},"container-title":["Proceedings of the Third Workshop on Behavioural Modelling"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993956.1993957","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1993956.1993957","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:05:47Z","timestamp":1750244747000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993956.1993957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,6]]},"references-count":20,"alternative-id":["10.1145\/1993956.1993957","10.1145\/1993956"],"URL":"https:\/\/doi.org\/10.1145\/1993956.1993957","relation":{},"subject":[],"published":{"date-parts":[[2011,6,6]]},"assertion":[{"value":"2011-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}