{"id":"https://openalex.org/W1025713719","doi":"https://doi.org/10.1007/978-3-662-44860-1_11","title":"Recovering Traceability Links Between Code and Specification Through Domain Model Extraction","display_name":"Recovering Traceability Links Between Code and Specification Through Domain Model Extraction","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1025713719","doi":"https://doi.org/10.1007/978-3-662-44860-1_11","mag":"1025713719"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-662-44860-1_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-44860-1_11","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"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 Business Information Processing","raw_type":"book-chapter"},"type":"book-chapter","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/A5004302537","display_name":"Ji\u0159\u00ed Vin\u00e1rek","orcid":null},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ","DE"],"is_corresponding":true,"raw_author_name":"Ji\u0159\u00ed Vin\u00e1rek","raw_affiliation_strings":["Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University in Prague, Malostranske namesti 25, Prague, Czech Republic","Institute for Program Structures and Data Organisation, Karlsruhe Institute of Technology, Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University in Prague, Malostranske namesti 25, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Institute for Program Structures and Data Organisation, Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062364548","display_name":"Petr Hn\u011btynka","orcid":"https://orcid.org/0000-0002-1008-6886"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Petr Hn\u011btynka","raw_affiliation_strings":["Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University in Prague, Malostranske namesti 25, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University in Prague, Malostranske namesti 25, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058218415","display_name":"Viliam \u0160imko","orcid":null},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Viliam \u0160imko","raw_affiliation_strings":["Institute for Program Structures and Data Organisation, Karlsruhe Institute of Technology, Karlsruhe, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Program Structures and Data Organisation, Karlsruhe Institute of Technology, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090185421","display_name":"Petr Kroha","orcid":"https://orcid.org/0000-0002-1658-3736"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Petr Kroha","raw_affiliation_strings":["Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University in Prague, Malostranske namesti 25, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University in Prague, Malostranske namesti 25, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5004302537"],"corresponding_institution_ids":["https://openalex.org/I102335020","https://openalex.org/I21250087"],"apc_list":null,"apc_paid":null,"fwci":1.0533,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7760603,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"187","last_page":"201"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983000159263611,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/traceability","display_name":"Traceability","score":0.9105314016342163},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7380332350730896},{"id":"https://openalex.org/keywords/requirements-traceability","display_name":"Requirements traceability","score":0.6171891093254089},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.554506242275238},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5535045862197876},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5174391865730286},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.4859663248062134},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.48378559947013855},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4287656545639038},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4084246754646301},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3515741229057312},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.3071237802505493},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.28331121802330017},{"id":"https://openalex.org/keywords/requirement","display_name":"Requirement","score":0.1956278383731842},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.18630027770996094},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.05467841029167175}],"concepts":[{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.9105314016342163},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7380332350730896},{"id":"https://openalex.org/C35084680","wikidata":"https://www.wikidata.org/wiki/Q848201","display_name":"Requirements traceability","level":5,"score":0.6171891093254089},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.554506242275238},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5535045862197876},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5174391865730286},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.4859663248062134},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48378559947013855},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4287656545639038},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4084246754646301},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3515741229057312},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.3071237802505493},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.28331121802330017},{"id":"https://openalex.org/C135475081","wikidata":"https://www.wikidata.org/wiki/Q774228","display_name":"Requirement","level":4,"score":0.1956278383731842},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.18630027770996094},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.05467841029167175},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"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.1007/978-3-662-44860-1_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-662-44860-1_11","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"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 Business Information Processing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W81339825","https://openalex.org/W115231168","https://openalex.org/W1511496623","https://openalex.org/W1539495021","https://openalex.org/W1557306624","https://openalex.org/W1590264458","https://openalex.org/W1992301869","https://openalex.org/W2049462180","https://openalex.org/W2104994910","https://openalex.org/W2108036122","https://openalex.org/W2108155297","https://openalex.org/W2122060876","https://openalex.org/W2122399740","https://openalex.org/W2128581098","https://openalex.org/W2129559874","https://openalex.org/W2149961637","https://openalex.org/W2165218932","https://openalex.org/W2561675875","https://openalex.org/W3010071803","https://openalex.org/W3147133761","https://openalex.org/W6633397610"],"related_works":["https://openalex.org/W2552881392","https://openalex.org/W2101620885","https://openalex.org/W2124361225","https://openalex.org/W2201661632","https://openalex.org/W650379724","https://openalex.org/W2202965627","https://openalex.org/W2055849400","https://openalex.org/W2033431192","https://openalex.org/W2136555272","https://openalex.org/W2806091731"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}