{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T23:09:46Z","timestamp":1784934586366,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,27]],"date-time":"2014-06-27T00:00:00Z","timestamp":1403827200000},"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":[[2014,6,27]]},"DOI":"10.1145\/2602458.2602463","type":"proceedings-article","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T14:23:03Z","timestamp":1404224583000},"page":"129-138","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Design-by-contract for reusable components and realizable architectures"],"prefix":"10.1145","author":[{"given":"Mert","family":"Ozkaya","sequence":"first","affiliation":[{"name":"City University London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[{"name":"City University London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,6,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581365"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"J.\n      Aldrich V.\n      Sazawal C.\n      Chambers and \n      D.\n      Notkin\n  . \n  Language support for connector abstractions\n  . In L. Cardelli editor ECOOP volume \n  2743\n   of \n  LNCS pages \n  74\n  --\n  102 Darmstadt Germany July \n  2003\n  . \n  Springer-Verlag\n  .  J. Aldrich V. Sazawal C. Chambers and D. Notkin. Language support for connector abstractions. In L. Cardelli editor ECOOP volume 2743 of LNCS pages 74--102 Darmstadt Germany July 2003. Springer-Verlag.","DOI":"10.1007\/978-3-540-45070-2_5"},{"key":"e_1_3_2_1_3_1","first-page":"6","volume-title":"IWSSD-8","author":"Allen R.","year":"1996","unstructured":"R. Allen and D. Garlan . A case study in architectural modelling: The Aegis system . In IWSSD-8 , pages 6 -- 15 , Paderborn , Germany, Mar . 1996 . R. Allen and D. Garlan. A case study in architectural modelling: The Aegis system. In IWSSD-8, pages 6--15, Paderborn, Germany, Mar. 1996."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214326"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.034"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"376","volume-title":"D. C. Petriu, N. Rouquette, and \u00d8","author":"Bagheri H.","year":"2010","unstructured":"H. Bagheri and K. J. Sullivan . Monarch: Model-based development of software architectures . In D. C. Petriu, N. Rouquette, and \u00d8 . Haugen, editors, MoDELS (2), volume 6395 of LNCS , pages 376 -- 390 . Springer , 2010 . H. Bagheri and K. J. Sullivan. Monarch: Model-based development of software architectures. In D. C. Petriu, N. Rouquette, and \u00d8. Haugen, editors, MoDELS (2), volume 6395 of LNCS, pages 376--390. Springer, 2010."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.27"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103680"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/362686.362692"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_12_1","volume-title":"Dep. of SW Engineering","author":"Bures T.","year":"2005","unstructured":"T. Bures . Automated synthesis of connectors for heterogeneous deployment. Tech. report no. 2005\/4 , Dep. of SW Engineering , Charles University , Prague, Aug . 2005 . T. Bures. Automated synthesis of connectors for heterogeneous deployment. Tech. report no. 2005\/4, Dep. of SW Engineering, Charles University, Prague, Aug. 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERA.2006.62"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108473.1108486"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225031"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.86"},{"key":"e_1_3_2_1_19_1","first-page":"1","volume-title":"Adv. in SW Eng. and Knowledge Eng.","author":"Garlan D.","year":"1993","unstructured":"D. Garlan and M. Shaw . An introduction to software architecture . In Adv. in SW Eng. and Knowledge Eng. , pages 1 -- 39 , Singapore, 1993 . World Scientific Publishing Company . D. Garlan and M. Shaw. An introduction to software architecture. In Adv. in SW Eng. and Knowledge Eng., pages 1--39, Singapore, 1993. World Scientific Publishing Company."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"C.\n      Kloukinas\n     and \n      M.\n      Ozkaya\n  .\n  textscXcd - Modular realizable software architectures\n  . In C. S. Pasareanu and G. Sala\u00fcn editors FACS volume \n  7684\n   of \n  LNCS pages \n  152\n  --\n  169\n  . \n  Springer 2012\n  .  C. Kloukinas and M. Ozkaya.textscXcd - Modular realizable software architectures. In C. S. Pasareanu and G. Sala\u00fcn editors FACS volume 7684 of LNCS pages 152--169. Springer 2012.","DOI":"10.1007\/978-3-642-35861-6_10"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11424529_7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25044-6_25"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"},{"key":"e_1_3_2_1_25_1","volume-title":"Concurrency -- state models and Java programs","author":"Magee J.","year":"2006","unstructured":"J. Magee and J. Kramer . Concurrency -- state models and Java programs . Wiley , 2 edition, 2006 . J. Magee and J. Kramer. Concurrency -- state models and Java programs. Wiley, 2 edition, 2006."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.74"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491414"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/267895.267904"},{"key":"e_1_3_2_1_30_1","volume-title":"OMG","author":"Common OMG.","year":"2012","unstructured":"OMG. Common object request broker architecture (CORBA) specification, version 3.3 -- Part 3: CORBA component model. Specification formal\/2012--11--16 , OMG , Nov. 2012 . omg.org\/spec\/CORBA\/3.3\/. OMG. Common object request broker architecture (CORBA) specification, version 3.3 -- Part 3: CORBA component model. Specification formal\/2012--11--16, OMG, Nov. 2012. omg.org\/spec\/CORBA\/3.3\/."},{"key":"e_1_3_2_1_31_1","volume-title":"Specification","author":"Alliance Gi","year":"2012","unstructured":"OS Gi Alliance . OSGi core release 5 . Specification , Mar. 2012 . osgi.org. OSGi Alliance. OSGi core release 5. Specification, Mar. 2012. osgi.org."},{"key":"e_1_3_2_1_32_1","series-title":"CCIS","first-page":"72","volume-title":"T.-h. Kim, C. Ramos, H.-k","author":"Ozkaya M.","year":"2012","unstructured":"M. Ozkaya and C. Kloukinas . Highly analysable, reusable, and realisable architectural designs withtextscXcd . In T.-h. Kim, C. Ramos, H.-k . Kim, A. Kiumi, S. Mohammed, and D. Slezak, editors, Computer Applications for Software Engineering, Disaster Recovery , and Business Continuity, volume 340 of CCIS , pages 72 -- 79 . Springer Berlin Heidelberg , 2012 . M. Ozkaya and C. Kloukinas. Highly analysable, reusable, and realisable architectural designs withtextscXcd. In T.-h. Kim, C. Ramos, H.-k. Kim, A. Kiumi, S. Mohammed, and D. Slezak, editors, Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity, volume 340 of CCIS, pages 72--79. Springer Berlin Heidelberg, 2012."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.34"},{"key":"e_1_3_2_1_34_1","first-page":"555","volume-title":"ICSOFT","author":"Ozkaya M.","year":"2013","unstructured":"M. Ozkaya and C. Kloukinas . Towards a design-by-contract based approach for realizable connector-centric software architectures. In J. Cordeiro, D. A. Marca, and M. van Sinderen, editors , ICSOFT , pages 555 -- 562 . SciTePress , 2013 . M. Ozkaya and C. Kloukinas. Towards a design-by-contract based approach for realizable connector-centric software architectures. In J. Cordeiro, D. A. Marca, and M. van Sinderen, editors, ICSOFT, pages 555--562. SciTePress, 2013."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SoMeT.2013.6645654"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/141874.141884"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_24"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/1241731.1241735"},{"key":"e_1_3_2_1_39_1","volume-title":"Software Architecture: Foundations, Theory, and Practice","author":"Taylor R. N.","year":"2010","unstructured":"R. N. Taylor , N. Medvidovic , and E. M. Dashofy . Software Architecture: Foundations, Theory, and Practice . Wiley , 2010 . R. N. Taylor, N. Medvidovic, and E. M. Dashofy. Software Architecture: Foundations, Theory, and Practice. Wiley, 2010."},{"key":"e_1_3_2_1_40_1","unstructured":"Website 2013. Maintained by Mert Ozkaya. URL:hrefhttp:\/\/www.staff.city.ac.uk\/c.kloukinas\/Xcdwww.staff.city.ac.uk\/c.kl%oukinas\/Xcd\/.  Website 2013. Maintained by Mert Ozkaya. URL:hrefhttp:\/\/www.staff.city.ac.uk\/c.kloukinas\/Xcdwww.staff.city.ac.uk\/c.kl%oukinas\/Xcd\/."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2004.01.004"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806815"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005561.1005563"}],"event":{"name":"CompArch'14: Federated Events on Component-Based Software Engineering and Software Architecture","location":"Marcq-en-Bareul France","acronym":"CompArch'14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2602458.2602463","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2602458.2602463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:48Z","timestamp":1750230048000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2602458.2602463"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,27]]},"references-count":42,"alternative-id":["10.1145\/2602458.2602463","10.1145\/2602458"],"URL":"https:\/\/doi.org\/10.1145\/2602458.2602463","relation":{},"subject":[],"published":{"date-parts":[[2014,6,27]]},"assertion":[{"value":"2014-06-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}