{"id":"https://openalex.org/W82161441","doi":null,"title":"The Direct Execution of SPECS-C++: A Model-Based Specification Language for C++ Classes","display_name":"The Direct Execution of SPECS-C++: A Model-Based Specification Language for C++ Classes","publication_year":1994,"publication_date":"1994-01-01","ids":{"openalex":"https://openalex.org/W82161441","mag":"82161441"},"language":"en","primary_location":{"id":"pmh:oai:lib.dr.iastate.edu:cs_techreports-1169","doi":null,"is_oa":true,"landing_page_url":"https://lib.dr.iastate.edu/cs_techreports/161","pdf_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1169&context=cs_techreports","source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Technical Reports","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1169&context=cs_techreports","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052783391","display_name":"Tim Wahls","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tim Wahls","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077629996","display_name":"Albert L. Baker","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Albert L. Baker","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5014066009","display_name":"Gary Todd Leavens","orcid":"https://orcid.org/0000-0003-3271-3921","observed_orcids":["https://orcid.org/0000-0003-3271-3921"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gary T. Leavens","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-3271-3921","affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4301,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.841933,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9106000065803528,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9106000065803528,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.05700000002980232,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.028999999165534973,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/executable-specification-language","display_name":"executable specification languages","score":0.8999999761581421},{"id":"https://openalex.org/keywords/model-based-specification","display_name":"model-based specification","score":0.8709999918937683},{"id":"https://openalex.org/keywords/c-classes","display_name":"C++ classes","score":0.9549999833106995},{"id":"https://openalex.org/keywords/vdm","display_name":"VDM","score":0.6200000047683716},{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.5299999713897705}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.9601651430130005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8853493332862854},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8113496899604797},{"id":"https://openalex.org/C122783720","wikidata":"https://www.wikidata.org/wiki/Q183065","display_name":"Interpreter","level":2,"score":0.730316698551178},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6483821868896484},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5483412146568298},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.458261102437973},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17319902777671814},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.07524988055229187},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:lib.dr.iastate.edu:cs_techreports-1169","doi":null,"is_oa":true,"landing_page_url":"https://lib.dr.iastate.edu/cs_techreports/161","pdf_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1169&context=cs_techreports","source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Technical Reports","raw_type":"text"},{"id":"mag:82161441","doi":null,"is_oa":false,"landing_page_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1169&context=cs_techreports","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:lib.dr.iastate.edu:cs_techreports-1169","doi":null,"is_oa":true,"landing_page_url":"https://lib.dr.iastate.edu/cs_techreports/161","pdf_url":"https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1169&context=cs_techreports","source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Technical Reports","raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W82161441.pdf","grobid_xml":"https://content.openalex.org/works/W82161441.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1484366641","https://openalex.org/W1501031081","https://openalex.org/W1579278367","https://openalex.org/W1583095677","https://openalex.org/W1596630575","https://openalex.org/W2007059425","https://openalex.org/W2074864682","https://openalex.org/W2104452490","https://openalex.org/W2142545871","https://openalex.org/W2144973245","https://openalex.org/W2478055516","https://openalex.org/W2987803397","https://openalex.org/W4234423775"],"related_works":["https://openalex.org/W7099533018","https://openalex.org/W2157577995","https://openalex.org/W121371338","https://openalex.org/W7100548860","https://openalex.org/W69106526","https://openalex.org/W1974452347","https://openalex.org/W7099188659","https://openalex.org/W7101121855","https://openalex.org/W1544972275","https://openalex.org/W2126006342"],"abstract_inverted_index":{"Executable":[0],"specification":[1,22,32,74,99],"languages":[2,23,33],"may":[3],"be":[4,77],"the":[5,18,53,73,82,111,129,132,136,140],"key":[6],"to":[7,43,51,66,121],"more":[8],"widespread":[9],"use":[10],"of":[11,20,30,49,55,114],"formal":[12],"methods":[13],"in":[14,72,81,95,108,135,139],"software":[15],"production.":[16],"However,":[17],"expressiveness":[19],"executable":[21,62],"is":[24,118],"typically":[25,60],"much":[26,107],"less":[27],"than":[28],"that":[29],"non-executable":[31],"such":[34],"as":[35,79],"VDM":[36,123],"or":[37],"Z.":[38],"Thus,":[39],"specifiers":[40],"are":[41,59],"forced":[42],"work":[44],"at":[45],"a":[46,67,88,97],"lower":[47],"level":[48],"abstraction":[50],"gain":[52],"advantage":[54],"executability.":[56],"Additionally,":[57],"specifications":[58,93],"made":[61],"by":[63],"translating":[64],"them":[65],"programming":[68],"language,":[69],"so":[70],"errors":[71,80],"can":[75],"only":[76],"detected":[78],"resulting":[83],"code.":[84],"This":[85],"paper":[86,137],"presents":[87],"technique":[89,117],"for":[90,101,128],"directly":[91],"executing":[92],"written":[94],"SPECS-C++,":[96],"model-based":[98],"language":[100],"C++":[102],"classes.":[103],"As":[104],"SPECS-C++":[105],"has":[106],"common":[109],"with":[110],"implicit":[112,122],"subset":[113],"VDM,":[115],"this":[116],"equally":[119],"applicable":[120],"specifications.":[124],"Standard":[125],"ML":[126],"code":[127],"interpreter":[130],"and":[131],"example":[133],"used":[134],"appear":[138],"appendices.":[141]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}