{"id":"https://openalex.org/W1971505109","doi":"https://doi.org/10.1016/s0167-6423(99)00018-0","title":"On the analysis needs when verifying state-based software requirements: an experience report","display_name":"On the analysis needs when verifying state-based software requirements: an experience report","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1971505109","doi":"https://doi.org/10.1016/s0167-6423(99)00018-0","mag":"1971505109"},"language":"en","primary_location":{"id":"doi:10.1016/s0167-6423(99)00018-0","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-6423(99)00018-0","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},"type":"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/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"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mats P.E. Heimdahl","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Minnesota, Institute of Technology, 4-192 EE/CS Bldg. Minneapolis, MN 55455, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Minnesota, Institute of Technology, 4-192 EE/CS Bldg. Minneapolis, MN 55455, USA","institution_ids":["https://openalex.org/I130238516"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012570141","display_name":"Barbara J. Czerny","orcid":null},"institutions":[{"id":"https://openalex.org/I87216513","display_name":"Michigan State University","ror":"https://ror.org/05hs6h993","country_code":"US","type":"education","lineage":["https://openalex.org/I87216513"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Barbara J. Czerny","raw_affiliation_strings":["Department of Computer Science, Michigan State University, 3115 Engineering Building, East Lansing, MI 48824-1226, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Michigan State University, 3115 Engineering Building, East Lansing, MI 48824-1226, USA","institution_ids":["https://openalex.org/I87216513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110505437"],"corresponding_institution_ids":["https://openalex.org/I130238516"],"apc_list":{"value":2460,"currency":"USD","value_usd":2460},"apc_paid":null,"fwci":0.9309,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.74324324,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"36","issue":"1","first_page":"65","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"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.836105465888977},{"id":"https://openalex.org/keywords/spurious-relationship","display_name":"Spurious relationship","score":0.7267427444458008},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5564706325531006},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5185580849647522},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.483951598405838},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4434794485569},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4409828782081604},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42323780059814453},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4208124876022339},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41739392280578613},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3779134750366211},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1060190498828888},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10512715578079224}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.836105465888977},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.7267427444458008},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5564706325531006},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5185580849647522},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.483951598405838},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4434794485569},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4409828782081604},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42323780059814453},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4208124876022339},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41739392280578613},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3779134750366211},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1060190498828888},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10512715578079224},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s0167-6423(99)00018-0","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-6423(99)00018-0","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.800000011920929,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1500263346","https://openalex.org/W1503170978","https://openalex.org/W1526812861","https://openalex.org/W1536217426","https://openalex.org/W1546220007","https://openalex.org/W1556247398","https://openalex.org/W1907855949","https://openalex.org/W1929502661","https://openalex.org/W1988192943","https://openalex.org/W2046138576","https://openalex.org/W2052547909","https://openalex.org/W2064650227","https://openalex.org/W2080267935","https://openalex.org/W2080593426","https://openalex.org/W2085713777","https://openalex.org/W2096039823","https://openalex.org/W2099529102","https://openalex.org/W2101591864","https://openalex.org/W2114957237","https://openalex.org/W2122086011","https://openalex.org/W2124214533","https://openalex.org/W2125708466","https://openalex.org/W2132331020","https://openalex.org/W2146191617","https://openalex.org/W2147880466","https://openalex.org/W2148581014","https://openalex.org/W2151056896","https://openalex.org/W2155891457","https://openalex.org/W2164989576","https://openalex.org/W2472066263","https://openalex.org/W3151081770","https://openalex.org/W4233253115","https://openalex.org/W4239521259","https://openalex.org/W4285719527","https://openalex.org/W4300021588","https://openalex.org/W6682059195"],"related_works":["https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W4312733571","https://openalex.org/W4315606162","https://openalex.org/W113732979","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W2340807904","https://openalex.org/W2037121848","https://openalex.org/W1608485412"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}