{"id":"https://openalex.org/W2074192879","doi":"https://doi.org/10.1145/2602458.2602463","title":"Design-by-contract for reusable components and realizable architectures","display_name":"Design-by-contract for reusable components and realizable architectures","publication_year":2014,"publication_date":"2014-06-27","ids":{"openalex":"https://openalex.org/W2074192879","doi":"https://doi.org/10.1145/2602458.2602463","mag":"2074192879"},"language":"en","primary_location":{"id":"doi:10.1145/2602458.2602463","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2602458.2602463","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039455399","display_name":"Mert \u00d6zkaya","orcid":"https://orcid.org/0000-0002-3464-6489"},"institutions":[{"id":"https://openalex.org/I180825142","display_name":"City, University of London","ror":"https://ror.org/04489at23","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I180825142"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mert Ozkaya","raw_affiliation_strings":["City University London, London, United Kingdom","City University London , London , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University London, London, United Kingdom","institution_ids":["https://openalex.org/I180825142"]},{"raw_affiliation_string":"City University London , London , United Kingdom","institution_ids":["https://openalex.org/I180825142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014449520","display_name":"Christos Kloukinas","orcid":"https://orcid.org/0000-0003-0424-7425"},"institutions":[{"id":"https://openalex.org/I180825142","display_name":"City, University of London","ror":"https://ror.org/04489at23","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I180825142"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Christos Kloukinas","raw_affiliation_strings":["City University London, London, United Kingdom","City University London , London , United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University London, London, United Kingdom","institution_ids":["https://openalex.org/I180825142"]},{"raw_affiliation_string":"City University London , London , United Kingdom","institution_ids":["https://openalex.org/I180825142"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I180825142"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"129","last_page":"138"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9890999794006348,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.9485658407211304},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.8075645565986633},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.7917861938476562},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7753199934959412},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7038171291351318},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.5185485482215881},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"Separation of concerns","score":0.5175772905349731},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.5095391869544983},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5017697811126709},{"id":"https://openalex.org/keywords/interaction-protocol","display_name":"Interaction protocol","score":0.4992356300354004},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49590906500816345},{"id":"https://openalex.org/keywords/software-design-pattern","display_name":"Software design pattern","score":0.4314340054988861},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4115554094314575},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3801857531070709},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32397595047950745},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3126980662345886},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.1742301881313324},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13107332587242126},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.1251930594444275}],"concepts":[{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.9485658407211304},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.8075645565986633},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.7917861938476562},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7753199934959412},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7038171291351318},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.5185485482215881},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.5175772905349731},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.5095391869544983},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5017697811126709},{"id":"https://openalex.org/C2775851571","wikidata":"https://www.wikidata.org/wiki/Q6045205","display_name":"Interaction protocol","level":3,"score":0.4992356300354004},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49590906500816345},{"id":"https://openalex.org/C146054899","wikidata":"https://www.wikidata.org/wiki/Q181156","display_name":"Software design pattern","level":3,"score":0.4314340054988861},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4115554094314575},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3801857531070709},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32397595047950745},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3126980662345886},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.1742301881313324},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13107332587242126},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.1251930594444275},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2602458.2602463","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2602458.2602463","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:openaccess.city.ac.uk:4069","is_oa":false,"landing_page_url":"https://openaccess.city.ac.uk/view/creators_id/mert=2Eozkaya=2E1.html>","pdf_url":null,"source":{"id":"https://openalex.org/S4306401940","display_name":"City Research Online (City University London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I180825142","host_organization_name":"City, University of London","host_organization_lineage":["https://openalex.org/I180825142"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference or Workshop Item"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W11745342","https://openalex.org/W15189508","https://openalex.org/W110002906","https://openalex.org/W1487013894","https://openalex.org/W1539432158","https://openalex.org/W1593405126","https://openalex.org/W1830954042","https://openalex.org/W1964830323","https://openalex.org/W1971328644","https://openalex.org/W1986926875","https://openalex.org/W1999400340","https://openalex.org/W2013658284","https://openalex.org/W2015280671","https://openalex.org/W2027553428","https://openalex.org/W2036083077","https://openalex.org/W2048903680","https://openalex.org/W2052363833","https://openalex.org/W2052762237","https://openalex.org/W2060910670","https://openalex.org/W2066210260","https://openalex.org/W2095566415","https://openalex.org/W2096973649","https://openalex.org/W2100407946","https://openalex.org/W2102841375","https://openalex.org/W2109033710","https://openalex.org/W2115168352","https://openalex.org/W2115309705","https://openalex.org/W2118023438","https://openalex.org/W2123845384","https://openalex.org/W2132695268","https://openalex.org/W2133254848","https://openalex.org/W2139204893","https://openalex.org/W2140922128","https://openalex.org/W2144807091","https://openalex.org/W2149238680","https://openalex.org/W2151369927","https://openalex.org/W2157364367","https://openalex.org/W2159263584","https://openalex.org/W2161079291","https://openalex.org/W2172028106","https://openalex.org/W3005044125","https://openalex.org/W3139409367","https://openalex.org/W4239234361","https://openalex.org/W4285719527","https://openalex.org/W6680476925","https://openalex.org/W6792024028","https://openalex.org/W7015137521"],"related_works":["https://openalex.org/W2043379020","https://openalex.org/W2024869133","https://openalex.org/W4238656960","https://openalex.org/W2148867149","https://openalex.org/W1536069825","https://openalex.org/W1993242759","https://openalex.org/W4234517139","https://openalex.org/W4238718530","https://openalex.org/W2003426118","https://openalex.org/W2074192879"],"abstract_inverted_index":{"Architectural":[0],"connectors":[1,68],"can":[2,70],"increase":[3],"the":[4,19,33,84],"modularity":[5],"and":[6,26,78],"reusability":[7],"benefits":[8],"of":[9,22,75],"Component-based":[10],"Software":[11],"Engineering,":[12],"as":[13,57,59],"they":[14,36,53,88],"allow":[15],"one":[16,69],"to":[17,39,47,81],"specify":[18,71,82],"general":[20],"case":[21],"an":[23],"interaction":[24,51,63,85],"pattern":[25],"reuse":[27],"it":[28],"from":[29],"then":[30],"on.":[31],"At":[32],"same":[34],"time":[35],"enable":[37],"components":[38,43,79],"be":[40,55],"protocol-independent":[41],"-":[42],"do":[44],"not":[45],"need":[46,80],"know":[48],"under":[49],"which":[50],"patterns":[52,77],"will":[54,89],"used,":[56],"long":[58],"their":[60,93],"minimal,":[61],"local":[62],"constraints":[64],"are":[65],"satisfied.":[66],"Without":[67],"only":[72],"specific":[73],"instances":[74],"such":[76],"themselves":[83],"protocols":[86],"that":[87],"follow,":[90],"thus":[91],"reducing":[92],"reusability.":[94]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}