{"id":"https://openalex.org/W1562210768","doi":"https://doi.org/10.1023/a:1018977602872","title":"Towards quality requirements via animated formal specifications","display_name":"Towards quality requirements via animated formal specifications","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1562210768","doi":"https://doi.org/10.1023/a:1018977602872","mag":"1562210768"},"language":"en","primary_location":{"id":"doi:10.1023/a:1018977602872","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018977602872","pdf_url":null,"source":{"id":"https://openalex.org/S104191512","display_name":"Annals of Software Engineering","issn_l":"1022-7091","issn":["1022-7091","1573-7489"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Software Engineering","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/A5109033625","display_name":"Jawed Siddiqi","orcid":null},"institutions":[{"id":"https://openalex.org/I71422933","display_name":"Sheffield Hallam University","ror":"https://ror.org/019wt1929","country_code":"GB","type":"education","lineage":["https://openalex.org/I71422933"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jawed I. Siddiqi","raw_affiliation_strings":["Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, Sheffield, UK","Computing Research Centre, School of Computing and Management  Sciences, Sheffield Hallam University, 100 Napier Street, Sheffield S11 8HD,  UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, Sheffield, UK","institution_ids":["https://openalex.org/I71422933"]},{"raw_affiliation_string":"Computing Research Centre, School of Computing and Management  Sciences, Sheffield Hallam University, 100 Napier Street, Sheffield S11 8HD,  UK","institution_ids":["https://openalex.org/I71422933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050160340","display_name":"Ian Morrey","orcid":null},"institutions":[{"id":"https://openalex.org/I71422933","display_name":"Sheffield Hallam University","ror":"https://ror.org/019wt1929","country_code":"GB","type":"education","lineage":["https://openalex.org/I71422933"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ian C. Morrey","raw_affiliation_strings":["Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, Sheffield, UK","Computing Research Centre, School of Computing and Management  Sciences, Sheffield Hallam University, 100 Napier Street, Sheffield S11 8HD,  UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, Sheffield, UK","institution_ids":["https://openalex.org/I71422933"]},{"raw_affiliation_string":"Computing Research Centre, School of Computing and Management  Sciences, Sheffield Hallam University, 100 Napier Street, Sheffield S11 8HD,  UK","institution_ids":["https://openalex.org/I71422933"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080745450","display_name":"Chris Roast","orcid":"https://orcid.org/0000-0002-6931-6252"},"institutions":[{"id":"https://openalex.org/I71422933","display_name":"Sheffield Hallam University","ror":"https://ror.org/019wt1929","country_code":"GB","type":"education","lineage":["https://openalex.org/I71422933"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Chris R. Roast","raw_affiliation_strings":["Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, Sheffield, UK","Computing Research Centre, School of Computing and Management  Sciences, Sheffield Hallam University, 100 Napier Street, Sheffield S11 8HD,  UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, Sheffield, UK","institution_ids":["https://openalex.org/I71422933"]},{"raw_affiliation_string":"Computing Research Centre, School of Computing and Management  Sciences, Sheffield Hallam University, 100 Napier Street, Sheffield S11 8HD,  UK","institution_ids":["https://openalex.org/I71422933"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010384416","display_name":"Mehmet \u00d6zcan","orcid":"https://orcid.org/0000-0001-8250-3143"},"institutions":[{"id":"https://openalex.org/I71422933","display_name":"Sheffield Hallam University","ror":"https://ror.org/019wt1929","country_code":"GB","type":"education","lineage":["https://openalex.org/I71422933"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mehmet B. Ozcan","raw_affiliation_strings":["Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, Sheffield, UK","Computing Research Centre, School of Computing and Management  Sciences, Sheffield Hallam University, 100 Napier Street, Sheffield S11 8HD,  UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, Sheffield, UK","institution_ids":["https://openalex.org/I71422933"]},{"raw_affiliation_string":"Computing Research Centre, School of Computing and Management  Sciences, Sheffield Hallam University, 100 Napier Street, Sheffield S11 8HD,  UK","institution_ids":["https://openalex.org/I71422933"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I71422933"],"apc_list":null,"apc_paid":null,"fwci":3.0685,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.91397768,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"3","issue":"1","first_page":"131","last_page":"155"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.19900000095367432,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.19900000095367432,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.16699999570846558,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.15109999477863312,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6891944408416748},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.6473444104194641},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.63835608959198},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.6362754106521606},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6059707403182983},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.5400515198707581},{"id":"https://openalex.org/keywords/user-requirements-document","display_name":"User requirements document","score":0.5370793342590332},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.49191904067993164},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4405611753463745},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43689677119255066},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.43668514490127563},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.4131929278373718},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3682730197906494},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.32793939113616943},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2915423512458801},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2290419638156891},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.200151264667511},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19916680455207825}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6891944408416748},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.6473444104194641},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.63835608959198},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6362754106521606},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6059707403182983},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.5400515198707581},{"id":"https://openalex.org/C143267671","wikidata":"https://www.wikidata.org/wiki/Q7901856","display_name":"User requirements document","level":2,"score":0.5370793342590332},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.49191904067993164},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4405611753463745},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43689677119255066},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43668514490127563},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.4131929278373718},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3682730197906494},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.32793939113616943},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2915423512458801},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2290419638156891},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.200151264667511},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19916680455207825},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1018977602872","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018977602872","pdf_url":null,"source":{"id":"https://openalex.org/S104191512","display_name":"Annals of Software Engineering","issn_l":"1022-7091","issn":["1022-7091","1573-7489"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W11450473","https://openalex.org/W53709412","https://openalex.org/W93044824","https://openalex.org/W113629928","https://openalex.org/W1486130945","https://openalex.org/W1552405170","https://openalex.org/W1570950753","https://openalex.org/W1573776307","https://openalex.org/W1577513232","https://openalex.org/W1578871155","https://openalex.org/W1582775521","https://openalex.org/W1596630575","https://openalex.org/W1609139967","https://openalex.org/W1831179217","https://openalex.org/W1834539752","https://openalex.org/W1965776155","https://openalex.org/W1974536701","https://openalex.org/W2006390854","https://openalex.org/W2007842186","https://openalex.org/W2018052761","https://openalex.org/W2018123953","https://openalex.org/W2038754076","https://openalex.org/W2042427946","https://openalex.org/W2048872634","https://openalex.org/W2051437144","https://openalex.org/W2053524469","https://openalex.org/W2060736442","https://openalex.org/W2064419470","https://openalex.org/W2104113760","https://openalex.org/W2120852971","https://openalex.org/W2123985997","https://openalex.org/W2128314433","https://openalex.org/W2131561028","https://openalex.org/W2135275658","https://openalex.org/W2138291249","https://openalex.org/W2142545871","https://openalex.org/W2144973245","https://openalex.org/W2155386176","https://openalex.org/W2157577995","https://openalex.org/W2159420337","https://openalex.org/W2167720469","https://openalex.org/W2169410112","https://openalex.org/W2180457634","https://openalex.org/W2242890607","https://openalex.org/W2912090331","https://openalex.org/W2913405990","https://openalex.org/W2914227004","https://openalex.org/W2956078845","https://openalex.org/W3105775598","https://openalex.org/W4244792847","https://openalex.org/W4251288349","https://openalex.org/W4285719527","https://openalex.org/W6634110582","https://openalex.org/W6638723698","https://openalex.org/W6758545992","https://openalex.org/W6758853162"],"related_works":["https://openalex.org/W2784612557","https://openalex.org/W344309486","https://openalex.org/W2048472863","https://openalex.org/W2472769502","https://openalex.org/W2106448774","https://openalex.org/W2012957645","https://openalex.org/W2005455721","https://openalex.org/W2212135093","https://openalex.org/W2895866887","https://openalex.org/W200664102"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2016-06-24T00:00:00"}