{"id":"https://openalex.org/W2071379986","doi":"https://doi.org/10.1109/cseet.2005.12","title":"Course Module: Design By Contract","display_name":"Course Module: Design By Contract","publication_year":2005,"publication_date":"2005-04-01","ids":{"openalex":"https://openalex.org/W2071379986","doi":"https://doi.org/10.1109/cseet.2005.12","mag":"2071379986"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/cseet.2005.12","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","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/A5004191454","display_name":"James C. McKim","orcid":null},"institutions":[{"id":"https://openalex.org/I169086405","display_name":"Winthrop University","ror":"https://ror.org/04mpzkf73","country_code":"US","type":"education","lineage":["https://openalex.org/I169086405"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James C. McKim","raw_affiliation_strings":["Winthrop University , Rock Hill, SC"],"affiliations":[{"raw_affiliation_string":"Winthrop University , Rock Hill, SC","institution_ids":["https://openalex.org/I169086405"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001541022","display_name":"Heidi J. C. Ellis","orcid":"https://orcid.org/0000-0002-6806-0291"},"institutions":[{"id":"https://openalex.org/I4401726811","display_name":"Hartford Financial Services (United States)","ror":"https://ror.org/00mwq1g96","country_code":null,"type":"company","lineage":["https://openalex.org/I4401726811"]},{"id":"https://openalex.org/I165799507","display_name":"Rensselaer Polytechnic Institute","ror":"https://ror.org/01rtyzb94","country_code":"US","type":"education","lineage":["https://openalex.org/I165799507"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Heidi J. C. Ellis","raw_affiliation_strings":["Rensselaer-Hartford#TAB#"],"affiliations":[{"raw_affiliation_string":"Rensselaer-Hartford#TAB#","institution_ids":["https://openalex.org/I4401726811","https://openalex.org/I165799507"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":61},"biblio":{"volume":null,"issue":null,"first_page":"239","last_page":"241"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11675","display_name":"Open Source Software Innovations","score":0.907,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T11675","display_name":"Open Source Software Innovations","score":0.907,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/design-by-contract","display_name":"Design by contract","score":0.93104696}],"concepts":[{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.93104696},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7702225},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.67013943},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5153596},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4713891},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.41426164},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2622534},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.23414233}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/cseet.2005.12","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":3,"referenced_works":["https://openalex.org/W1947236741","https://openalex.org/W194952179","https://openalex.org/W2155226375"],"related_works":["https://openalex.org/W4288019573","https://openalex.org/W4236461108","https://openalex.org/W3158548065","https://openalex.org/W3000738692","https://openalex.org/W2374465393","https://openalex.org/W2351928648","https://openalex.org/W2006365753","https://openalex.org/W1998490923","https://openalex.org/W1583826417","https://openalex.org/W1568266756"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2,27,47],"a":[3,35,65],"module":[4,25,46,63,82,95],"which":[5],"has":[6],"been":[7],"submitted":[8],"to":[9,68],"the":[10,28,48],"SWENET":[11],"initiative":[12],"that":[13,71],"is":[14,96],"collecting":[15],"examples":[16],"of":[17,30,50],"software":[18,69],"engineering":[19],"teaching":[20],"and":[21,40,52,56,79,108],"learning":[22],"modules.":[23],"The":[24,45,58,81,90],"itself":[26],"concept":[29,49],"design":[31],"by":[32,76,101,103,105],"contract":[33],"as":[34],"rigorous":[36],"approach":[37,67],"for":[38,86],"designing":[39],"producing":[41],"more":[42,53],"reliable":[43],"software.":[44],"assertions":[51],"specifically,":[54],"preconditions":[55],"postconditions.":[57],"ideas":[59],"presented":[60,92],"in":[61,93],"this":[62,94],"describe":[64],"formal":[66],"construction":[70],"can":[72],"easily":[73],"be":[74],"understood":[75],"both":[77],"undergraduates":[78],"graduates.":[80],"also":[83],"provides":[84],"guidelines":[85],"specifying":[87],"good":[88],"contracts.":[89],"material":[91],"primarily":[97],"derived":[98],"from":[99],"\"Design":[100],"Contract":[102],"Example\"":[104],"Richard":[106],"Mitchell":[107],"Jim":[109],"McKim":[110],"(2002)":[111]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2071379986","counts_by_year":[],"updated_date":"2024-12-15T09:56:35.276732","created_date":"2016-06-24"}