{"id":"https://openalex.org/W2093666661","doi":"https://doi.org/10.1016/s1571-0661(05)80320-2","title":"Design ware: Software Development by Refinement","display_name":"Design ware: Software Development by Refinement","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W2093666661","doi":"https://doi.org/10.1016/s1571-0661(05)80320-2","mag":"2093666661"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80320-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80320-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80320-2","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107949454","display_name":"Douglas R. Smith","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156228","display_name":"Kestrel Institute","ror":"https://ror.org/04deyvw92","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210156228"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Douglas R. Smith","raw_affiliation_strings":["Kestrel Institute, Palo Alto, California, 94304 USA"],"affiliations":[{"raw_affiliation_string":"Kestrel Institute, Palo Alto, California, 94304 USA","institution_ids":["https://openalex.org/I4210156228"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5107949454"],"corresponding_institution_ids":["https://openalex.org/I4210156228"],"apc_list":null,"apc_paid":null,"fwci":0.3259,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.63583078,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"29","issue":null,"first_page":"275","last_page":"287"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9835000038146973,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9793000221252441,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.7097780108451843},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.5926730632781982},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5710556507110596},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5642246007919312},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4607227146625519},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.44466957449913025}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7097780108451843},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.5926730632781982},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5710556507110596},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5642246007919312},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4607227146625519},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.44466957449913025},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80320-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80320-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80320-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80320-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1496607686","https://openalex.org/W1542403019","https://openalex.org/W1576731000","https://openalex.org/W1907344964","https://openalex.org/W2046489718","https://openalex.org/W2168711652","https://openalex.org/W6662146446","https://openalex.org/W6812048223"],"related_works":["https://openalex.org/W2166247150","https://openalex.org/W4243252198","https://openalex.org/W2109507516","https://openalex.org/W2118300983","https://openalex.org/W2121507724","https://openalex.org/W2093432410","https://openalex.org/W2271843438","https://openalex.org/W768804450","https://openalex.org/W1493931182","https://openalex.org/W149816724"],"abstract_inverted_index":{"This":[0,161],"paper":[1],"presents":[2],"a":[3,16],"mechanizable":[4],"framework":[5,12,48],"for":[6,64,72,102,116],"software":[7,97],"development":[8],"by":[9,39,167,177],"refinement.":[10],"The":[11,21,47,125],"is":[13,24,49,79,129],"based":[14],"on":[15,109],"category":[17],"of":[18,41,43,96,121,132,149],"higher-order":[19],"specifications.":[20],"key":[22],"idea":[23],"representing":[25],"knowledge":[26],"about":[27],"programming":[28],"concepts,":[29],"such":[30],"as":[31],"algorithm":[32],"design,":[33],"datatype":[34],"refinement,":[35],"and":[36,45,58,67,71,84,100,119,158,176],"expression":[37],"simplification,":[38],"means":[40],"taxonomies":[42,95],"specifications":[44,66],"morphisms.":[46,77],"partially":[50,165],"implemented":[51],"in":[52,88],"the":[53,130,147,168,178],"research":[54,162],"systems":[55],"Specware,":[56],"Design-ware,":[57],"Planware.":[59],"Specware":[60,78,93],"provides":[61],"basic":[62],"support":[63,101,115],"composing":[65],"refinements":[68,104],"via":[69,75],"colimit,":[70],"generating":[73],"code":[74],"logic":[76],"intended":[80],"to":[81,111,145],"be":[82],"general-purpose":[83],"has":[85,163],"found":[86],"use":[87],"industrial":[89],"settings.":[90],"Designware":[91,110],"extends":[92],"with":[94,135],"design":[98],"theories":[99],"constructing":[103],"from":[105],"them.":[106],"Planware":[107],"builds":[108],"provide":[112],"highly":[113],"automated":[114],"requirements":[117],"acquisition":[118],"synthesis":[120],"high-performance":[122],"scheduling":[123],"algorithms.":[124],"work":[126],"reported":[127],"here":[128],"result":[131],"extended":[133],"collaboration":[134],"my":[136],"colleagues":[137],"at":[138],"Kestrel":[139],"Institute.":[140],"I":[141],"would":[142],"particularly":[143],"like":[144],"acknowledge":[146],"contributions":[148],"David":[150],"Espinosa,":[151],"LiMei":[152],"Gilham,":[153],"Junbo":[154],"Liu,":[155],"Du\u0161ko":[156],"Pavlovi\u0107,":[157],"Stephen":[159],"Westfold.":[160],"been":[164],"supported":[166],"US":[169],"Air":[170],"Force":[171],"Research":[172,181],"Lab,":[173],"Rome":[174],"NY,":[175],"Defense":[179],"Advanced":[180],"Projects":[182],"Agency.":[183]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}