{"id":"https://openalex.org/W2171687180","doi":"https://doi.org/10.1007/s00766-013-0173-8","title":"On the systematic transformation of requirements to specifications","display_name":"On the systematic transformation of requirements to specifications","publication_year":2013,"publication_date":"2013-06-15","ids":{"openalex":"https://openalex.org/W2171687180","doi":"https://doi.org/10.1007/s00766-013-0173-8","mag":"2171687180"},"language":"en","primary_location":{"id":"doi:10.1007/s00766-013-0173-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00766-013-0173-8","pdf_url":null,"source":{"id":"https://openalex.org/S207090427","display_name":"Requirements Engineering","issn_l":"0947-3602","issn":["0947-3602","1432-010X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Requirements 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/A5100785539","display_name":"Zhi Li","orcid":"https://orcid.org/0000-0001-5385-3101"},"institutions":[{"id":"https://openalex.org/I29739308","display_name":"Guangxi Normal University","ror":"https://ror.org/02frt9q65","country_code":"CN","type":"education","lineage":["https://openalex.org/I29739308"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhi Li","raw_affiliation_strings":["College of Computer Science and Information Technology, Guangxi Normal University, No. 15 Yu Cai Road, Guilin, 541004, Guangxi, People\u2019s Republic of China","Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing, 100871, China","College of Computer Science and Information Technology, Guangxi Normal University, No. 15 Yu Cai Road, Guilin, 541004, Guangxi, People's Republic of China"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Information Technology, Guangxi Normal University, No. 15 Yu Cai Road, Guilin, 541004, Guangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I29739308"]},{"raw_affiliation_string":"Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing, 100871, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I20231570"]},{"raw_affiliation_string":"College of Computer Science and Information Technology, Guangxi Normal University, No. 15 Yu Cai Road, Guilin, 541004, Guangxi, People's Republic of China","institution_ids":["https://openalex.org/I29739308"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089000105","display_name":"Jon G. Hall","orcid":"https://orcid.org/0000-0002-5619-820X"},"institutions":[{"id":"https://openalex.org/I204136569","display_name":"The Open University","ror":"https://ror.org/05mzfcs16","country_code":"GB","type":"education","lineage":["https://openalex.org/I204136569"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jon G. Hall","raw_affiliation_strings":["Centre of Research in Computing, The Open University, Walton Hall, Milton Keynes, Buckinghamshire, MK7 6AA, UK"],"affiliations":[{"raw_affiliation_string":"Centre of Research in Computing, The Open University, Walton Hall, Milton Keynes, Buckinghamshire, MK7 6AA, UK","institution_ids":["https://openalex.org/I204136569"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081324430","display_name":"Lucia Rapanotti","orcid":null},"institutions":[{"id":"https://openalex.org/I204136569","display_name":"The Open University","ror":"https://ror.org/05mzfcs16","country_code":"GB","type":"education","lineage":["https://openalex.org/I204136569"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Lucia Rapanotti","raw_affiliation_strings":["Centre of Research in Computing, The Open University, Walton Hall, Milton Keynes, Buckinghamshire, MK7 6AA, UK"],"affiliations":[{"raw_affiliation_string":"Centre of Research in Computing, The Open University, Walton Hall, Milton Keynes, Buckinghamshire, MK7 6AA, UK","institution_ids":["https://openalex.org/I204136569"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100785539"],"corresponding_institution_ids":["https://openalex.org/I20231570","https://openalex.org/I29739308","https://openalex.org/I4210128818"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":null,"fwci":4.4481,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.94624069,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"19","issue":"4","first_page":"397","last_page":"419"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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/T11450","display_name":"Model-Driven Software Engineering 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/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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.7328770160675049},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5960642099380493},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.5287801027297974},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.487107515335083},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4488440752029419},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41714489459991455},{"id":"https://openalex.org/keywords/refinement","display_name":"Refinement","score":0.4123408794403076},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.4103664755821228},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38334956765174866},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.38143354654312134},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3422260582447052},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.30181702971458435},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.14561626315116882}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7328770160675049},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5960642099380493},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.5287801027297974},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.487107515335083},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4488440752029419},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41714489459991455},{"id":"https://openalex.org/C14331664","wikidata":"https://www.wikidata.org/wiki/Q3417382","display_name":"Refinement","level":3,"score":0.4123408794403076},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.4103664755821228},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38334956765174866},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.38143354654312134},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3422260582447052},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.30181702971458435},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.14561626315116882}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00766-013-0173-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00766-013-0173-8","pdf_url":null,"source":{"id":"https://openalex.org/S207090427","display_name":"Requirements Engineering","issn_l":"0947-3602","issn":["0947-3602","1432-010X"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Requirements Engineering","raw_type":"journal-article"},{"id":"pmh:oai:oro.open.ac.uk:38402","is_oa":false,"landing_page_url":"https://oro.open.ac.uk/view/person/jgh23.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401187","display_name":"Open Research Online (The Open University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I204136569","host_organization_name":"The Open University","host_organization_lineage":["https://openalex.org/I204136569"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W150146699","https://openalex.org/W204235972","https://openalex.org/W205511611","https://openalex.org/W381084804","https://openalex.org/W1497628318","https://openalex.org/W1502084115","https://openalex.org/W1504045958","https://openalex.org/W1515190101","https://openalex.org/W1522802577","https://openalex.org/W1551592336","https://openalex.org/W1578883965","https://openalex.org/W1607668834","https://openalex.org/W1607669578","https://openalex.org/W1628534470","https://openalex.org/W1803347051","https://openalex.org/W1964994340","https://openalex.org/W2026948260","https://openalex.org/W2031053187","https://openalex.org/W2056941494","https://openalex.org/W2088526635","https://openalex.org/W2092832190","https://openalex.org/W2098297805","https://openalex.org/W2104802187","https://openalex.org/W2106180253","https://openalex.org/W2109122226","https://openalex.org/W2109390877","https://openalex.org/W2112437375","https://openalex.org/W2113435553","https://openalex.org/W2117456685","https://openalex.org/W2130056655","https://openalex.org/W2130560480","https://openalex.org/W2136451344","https://openalex.org/W2139959881","https://openalex.org/W2144477072","https://openalex.org/W2151284363","https://openalex.org/W2155386176","https://openalex.org/W2160253395","https://openalex.org/W2160837764","https://openalex.org/W2161913165","https://openalex.org/W2164022737","https://openalex.org/W2170795867","https://openalex.org/W2171181263","https://openalex.org/W2245830543","https://openalex.org/W2589217375","https://openalex.org/W2616308654","https://openalex.org/W2948412904","https://openalex.org/W3141311175","https://openalex.org/W3144368627","https://openalex.org/W3151685851"],"related_works":["https://openalex.org/W1903167137","https://openalex.org/W1922520186","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W2143067915","https://openalex.org/W2142509047","https://openalex.org/W2030452150","https://openalex.org/W1568529421","https://openalex.org/W2279377564","https://openalex.org/W2204176978"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}