{"id":"https://openalex.org/W1968678319","doi":"https://doi.org/10.1002/(sici)1097-024x(199803)28:3<329::aid-spe157>3.0.co;2-h","title":"Sequence-based software specification of deterministic systems","display_name":"Sequence-based software specification of deterministic systems","publication_year":1998,"publication_date":"1998-03-01","ids":{"openalex":"https://openalex.org/W1968678319","doi":"https://doi.org/10.1002/(sici)1097-024x(199803)28:3<329::aid-spe157>3.0.co;2-h","mag":"1968678319"},"language":"en","primary_location":{"id":"doi:10.1002/(sici)1097-024x(199803)28:3<329::aid-spe157>3.0.co;2-h","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1097-024x(199803)28:3<329::aid-spe157>3.0.co;2-h","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","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/A5017277237","display_name":"Stacy Prowell","orcid":"https://orcid.org/0000-0002-2104-5641"},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Stacy J. Prowell","raw_affiliation_strings":["Software Engineering Technology, Inc., Suite 110, 5516 Lonas Road, Knoxville, TN 37909, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Engineering Technology, Inc., Suite 110, 5516 Lonas Road, Knoxville, TN 37909, U.S.A","institution_ids":["https://openalex.org/I75027704"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109248499","display_name":"Jesse H. Poore","orcid":null},"institutions":[{"id":"https://openalex.org/I75027704","display_name":"University of Tennessee at Knoxville","ror":"https://ror.org/020f3ap87","country_code":"US","type":"education","lineage":["https://openalex.org/I75027704"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jesse H. Poore","raw_affiliation_strings":["Computer Science Department, 107 Ayres Hall, Knoxville, University of Tennessee, Knoxville TN37916, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, 107 Ayres Hall, Knoxville, University of Tennessee, Knoxville TN37916, U.S.A","institution_ids":["https://openalex.org/I75027704"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017277237","https://openalex.org/A5109248499"],"corresponding_institution_ids":["https://openalex.org/I75027704"],"apc_list":{"value":4220,"currency":"USD","value_usd":4220},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.22631914,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"28","issue":"3","first_page":"329","last_page":"345"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7267336845397949},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.5553879141807556},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5507676005363464},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5178792476654053},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.49755600094795227},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.49223628640174866},{"id":"https://openalex.org/keywords/functional-specification","display_name":"Functional specification","score":0.4753051698207855},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.4539281725883484},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42189696431159973},{"id":"https://openalex.org/keywords/requirements-traceability","display_name":"Requirements traceability","score":0.41792139410972595},{"id":"https://openalex.org/keywords/algebraic-specification","display_name":"Algebraic specification","score":0.4111044108867645},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3889579772949219},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3850424587726593},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36141449213027954},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.24790969491004944},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.19776850938796997},{"id":"https://openalex.org/keywords/requirement","display_name":"Requirement","score":0.14739340543746948},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12594667077064514}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7267336845397949},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.5553879141807556},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5507676005363464},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5178792476654053},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.49755600094795227},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.49223628640174866},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.4753051698207855},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.4539281725883484},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42189696431159973},{"id":"https://openalex.org/C35084680","wikidata":"https://www.wikidata.org/wiki/Q848201","display_name":"Requirements traceability","level":5,"score":0.41792139410972595},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.4111044108867645},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3889579772949219},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3850424587726593},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36141449213027954},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.24790969491004944},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.19776850938796997},{"id":"https://openalex.org/C135475081","wikidata":"https://www.wikidata.org/wiki/Q774228","display_name":"Requirement","level":4,"score":0.14739340543746948},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12594667077064514},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/(sici)1097-024x(199803)28:3<329::aid-spe157>3.0.co;2-h","is_oa":false,"landing_page_url":"https://doi.org/10.1002/(sici)1097-024x(199803)28:3<329::aid-spe157>3.0.co;2-h","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2137223410","https://openalex.org/W2294190091","https://openalex.org/W4385784960","https://openalex.org/W3048422056","https://openalex.org/W2158159493","https://openalex.org/W2225205441","https://openalex.org/W2211523418","https://openalex.org/W2073649501","https://openalex.org/W2799231486","https://openalex.org/W2378785653"],"abstract_inverted_index":{"Specification":[0],"of":[1,15,20,43,54,60,70,89],"software":[2],"under":[3],"the":[4,37,52,58,95],"box":[5,79],"structure":[6],"method":[7],"requires":[8],"a":[9,26,30,77,84],"complete,":[10],"consistent,":[11],"and":[12,23,65,91,94],"traceably-correct":[13],"description":[14],"behavior":[16],"solely":[17],"in":[18],"terms":[19],"external":[21],"stimuli":[22],"responses.":[24],"Such":[25],"specification,":[27],"also":[28],"called":[29],"black":[31,78],"box,":[32],"can":[33],"be":[34,73],"derived":[35],"from":[36],"requirements":[38,98,106],"through":[39],"straightforward,":[40],"systematic":[41],"enumeration":[42],"all":[44],"stimulus":[45],"sequences.":[46],"Enumeration":[47],"is":[48],"made":[49],"manageable":[50],"by":[51],"application":[53],"techniques":[55],"for":[56,87],"controlling":[57],"growth":[59],"this":[61],"inherently":[62],"combinatorial":[63],"process,":[64],"specifications":[66,90],"at":[67],"different":[68],"levels":[69],"abstraction":[71],"may":[72],"combined":[74],"to":[75,104],"refine":[76],"specification.":[80],"This":[81],"work":[82],"presents":[83],"unifying":[85],"framework":[86],"development":[88],"testing":[92],"models,":[93],"focus":[96],"on":[97],"traceability":[99],"provides":[100],"an":[101],"explicit":[102],"means":[103],"manage":[105],"change.":[107],"\u00a9":[108],"1998":[109],"John":[110],"Wiley":[111],"&":[112],"Sons,":[113],"Ltd.":[114]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}