{"id":"https://openalex.org/W1916428635","doi":"https://doi.org/10.1007/978-3-540-69149-5_42","title":"A Case for Specification Validation","display_name":"A Case for Specification Validation","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W1916428635","doi":"https://doi.org/10.1007/978-3-540-69149-5_42","mag":"1916428635"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-69149-5_42","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-69149-5_42","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-69149-5_42.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-69149-5_42.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110505437","display_name":"Mats P. E. Heimdahl","orcid":null},"institutions":[{"id":"https://openalex.org/I130238516","display_name":"University of Minnesota","ror":"https://ror.org/017zqws13","country_code":"US","type":"education","lineage":["https://openalex.org/I130238516"]},{"id":"https://openalex.org/I114772536","display_name":"Software Engineering Institute","ror":"https://ror.org/01xqjjn94","country_code":"US","type":"facility","lineage":["https://openalex.org/I114772536","https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mats P. E. Heimdahl","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Minnesota, University of Minnesota Software Engineering Center (UMSEC), USA","Department of Computer Science and Engineering, University of Minnesota, University of Minnesota Software Engineering Center (UMSEC),#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota, University of Minnesota Software Engineering Center (UMSEC), USA","institution_ids":["https://openalex.org/I114772536","https://openalex.org/I130238516"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota, University of Minnesota Software Engineering Center (UMSEC),#TAB#","institution_ids":["https://openalex.org/I130238516"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110505437"],"corresponding_institution_ids":["https://openalex.org/I114772536","https://openalex.org/I130238516"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.7723,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.72228156,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"392","last_page":"402"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9997000098228455,"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/computer-science","display_name":"Computer science","score":0.8717524409294128},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.611634373664856},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5677327513694763},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5655907392501831},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5467395782470703},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4865371286869049},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.47801268100738525},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4779481887817383},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4439982771873474},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44372236728668213},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44061899185180664},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.10206270217895508},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08730873465538025}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8717524409294128},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.611634373664856},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5677327513694763},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5655907392501831},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5467395782470703},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4865371286869049},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.47801268100738525},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4779481887817383},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4439982771873474},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44372236728668213},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44061899185180664},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.10206270217895508},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08730873465538025},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-69149-5_42","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-69149-5_42","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-69149-5_42.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-540-69149-5_42","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-69149-5_42","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-540-69149-5_42.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320309636","display_name":"University of Minnesota","ror":"https://ror.org/03grvy078"},{"id":"https://openalex.org/F4320332378","display_name":"Langley Research Center","ror":"https://ror.org/0399mhs52"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1916428635.pdf","grobid_xml":"https://content.openalex.org/works/W1916428635.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W627482605","https://openalex.org/W1506339322","https://openalex.org/W1516334706","https://openalex.org/W1516860807","https://openalex.org/W1523738455","https://openalex.org/W1556566737","https://openalex.org/W1566024587","https://openalex.org/W1601064245","https://openalex.org/W1835501018","https://openalex.org/W1997076110","https://openalex.org/W2009965218","https://openalex.org/W2021125936","https://openalex.org/W2055647675","https://openalex.org/W2058235668","https://openalex.org/W2081553013","https://openalex.org/W2089399908","https://openalex.org/W2096039823","https://openalex.org/W2104113760","https://openalex.org/W2113727965","https://openalex.org/W2115179079","https://openalex.org/W2125708466","https://openalex.org/W2132177520","https://openalex.org/W2143889043","https://openalex.org/W2146191617","https://openalex.org/W2148439296","https://openalex.org/W2151056896","https://openalex.org/W2154774499","https://openalex.org/W2166720067","https://openalex.org/W2171816001","https://openalex.org/W2172253171","https://openalex.org/W2340735175","https://openalex.org/W2486952811","https://openalex.org/W2561675875","https://openalex.org/W2913459036","https://openalex.org/W2989771311","https://openalex.org/W4210895775","https://openalex.org/W4235527454","https://openalex.org/W4239619243","https://openalex.org/W4285719527","https://openalex.org/W6631462401"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1903167137","https://openalex.org/W2049993111","https://openalex.org/W2045204345","https://openalex.org/W1950421680","https://openalex.org/W2034589735","https://openalex.org/W2020416949","https://openalex.org/W1999356246"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}