{"id":"https://openalex.org/W1513598369","doi":"https://doi.org/10.5220/0004713103330339","title":"Validating the Functional Design of Embedded Systems against Stakeholder Intentions","display_name":"Validating the Functional Design of Embedded Systems against Stakeholder Intentions","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W1513598369","doi":"https://doi.org/10.5220/0004713103330339","mag":"1513598369"},"language":"en","primary_location":{"id":"doi:10.5220/0004713103330339","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004713103330339","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0004713103330339","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011581704","display_name":"Marian Daun","orcid":"https://orcid.org/0000-0002-9156-9731"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Marian Daun","raw_affiliation_strings":["[Paluno-The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany]"],"affiliations":[{"raw_affiliation_string":"[Paluno-The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany]","institution_ids":["https://openalex.org/I62318514"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052634744","display_name":"Thorsten Weyer","orcid":"https://orcid.org/0000-0002-3357-5113"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thorsten Weyer","raw_affiliation_strings":["[Paluno-The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany]"],"affiliations":[{"raw_affiliation_string":"[Paluno-The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany]","institution_ids":["https://openalex.org/I62318514"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074036780","display_name":"Klaus Pohl","orcid":"https://orcid.org/0000-0003-2199-5257"},"institutions":[{"id":"https://openalex.org/I62318514","display_name":"University of Duisburg-Essen","ror":"https://ror.org/04mz5ra38","country_code":"DE","type":"education","lineage":["https://openalex.org/I62318514"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus Pohl","raw_affiliation_strings":["[Paluno-The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany]"],"affiliations":[{"raw_affiliation_string":"[Paluno-The Ruhr Institute for Software Technology, University of Duisburg-Essen, Germany]","institution_ids":["https://openalex.org/I62318514"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5011581704"],"corresponding_institution_ids":["https://openalex.org/I62318514"],"apc_list":null,"apc_paid":null,"fwci":3.6811,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.93339795,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"333","last_page":"339"},"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9987999796867371,"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/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/functional-requirement","display_name":"Functional requirement","score":0.7810598611831665},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7610634565353394},{"id":"https://openalex.org/keywords/stakeholder","display_name":"Stakeholder","score":0.7292357087135315},{"id":"https://openalex.org/keywords/non-functional-requirement","display_name":"Non-functional requirement","score":0.6598635911941528},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6375739574432373},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5662141442298889},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5288532972335815},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.5184892416000366},{"id":"https://openalex.org/keywords/functional-design","display_name":"Functional design","score":0.4803970158100128},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47763243317604065},{"id":"https://openalex.org/keywords/goal-modeling","display_name":"Goal modeling","score":0.46653443574905396},{"id":"https://openalex.org/keywords/requirements-analysis","display_name":"Requirements analysis","score":0.4525071084499359},{"id":"https://openalex.org/keywords/requirements-elicitation","display_name":"Requirements elicitation","score":0.44773122668266296},{"id":"https://openalex.org/keywords/systems-design","display_name":"Systems design","score":0.4297789931297302},{"id":"https://openalex.org/keywords/requirements-engineering","display_name":"Requirements engineering","score":0.4161759614944458},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.41552987694740295},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.4106851816177368},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2474917471408844},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.17655104398727417},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15310409665107727},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1405591070652008},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09817400574684143}],"concepts":[{"id":"https://openalex.org/C62235348","wikidata":"https://www.wikidata.org/wiki/Q3264234","display_name":"Functional requirement","level":2,"score":0.7810598611831665},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7610634565353394},{"id":"https://openalex.org/C201305675","wikidata":"https://www.wikidata.org/wiki/Q852998","display_name":"Stakeholder","level":2,"score":0.7292357087135315},{"id":"https://openalex.org/C199747065","wikidata":"https://www.wikidata.org/wiki/Q3254666","display_name":"Non-functional requirement","level":5,"score":0.6598635911941528},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6375739574432373},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5662141442298889},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5288532972335815},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.5184892416000366},{"id":"https://openalex.org/C64346931","wikidata":"https://www.wikidata.org/wiki/Q4519148","display_name":"Functional design","level":2,"score":0.4803970158100128},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47763243317604065},{"id":"https://openalex.org/C9586889","wikidata":"https://www.wikidata.org/wiki/Q5575167","display_name":"Goal modeling","level":4,"score":0.46653443574905396},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.4525071084499359},{"id":"https://openalex.org/C45384764","wikidata":"https://www.wikidata.org/wiki/Q838667","display_name":"Requirements elicitation","level":4,"score":0.44773122668266296},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.4297789931297302},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.4161759614944458},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.41552987694740295},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.4106851816177368},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2474917471408844},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.17655104398727417},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15310409665107727},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1405591070652008},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09817400574684143},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C39549134","wikidata":"https://www.wikidata.org/wiki/Q133080","display_name":"Public relations","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0004713103330339","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004713103330339","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0004713103330339","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004713103330339","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6100000143051147,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W42539008","https://openalex.org/W1496019238","https://openalex.org/W1519381569","https://openalex.org/W1536906961","https://openalex.org/W1540883472","https://openalex.org/W1986736724","https://openalex.org/W2008442672","https://openalex.org/W2015354355","https://openalex.org/W2034822942","https://openalex.org/W2036364764","https://openalex.org/W2044303677","https://openalex.org/W2074308067","https://openalex.org/W2077491980","https://openalex.org/W2102626454","https://openalex.org/W2103508990","https://openalex.org/W2115179079","https://openalex.org/W2115309705","https://openalex.org/W2118913513","https://openalex.org/W2120870758","https://openalex.org/W2125501574","https://openalex.org/W2126259958","https://openalex.org/W2127323731","https://openalex.org/W2134908243","https://openalex.org/W2148159886","https://openalex.org/W2149864282","https://openalex.org/W2154941560","https://openalex.org/W2160020447","https://openalex.org/W2166422915","https://openalex.org/W2293287097","https://openalex.org/W2614188817","https://openalex.org/W3194627255"],"related_works":["https://openalex.org/W3214821522","https://openalex.org/W4291197340","https://openalex.org/W4207008379","https://openalex.org/W2953993137","https://openalex.org/W1995397752","https://openalex.org/W1542639271","https://openalex.org/W2884289192","https://openalex.org/W4297779846","https://openalex.org/W2082850750","https://openalex.org/W2104817109"],"abstract_inverted_index":{"In":[0,218],"the":[1,12,23,31,35,38,64,69,76,79,87,97,110,116,122,126,132,135,142,149,157,164,169,172,176,184,188,199,214,240,245],"embedded":[2],"systems":[3],"industry,":[4],"function-centered":[5,21],"engineering":[6],"is":[7,27,37,131,152,178,226,236,254,259],"commonly":[8],"applied":[9],"to":[10,106,120,204,207,213],"address":[11],"increasing":[13],"number":[14],"and":[15,54,138,160,195,243],"complexity":[16],"of":[17,78,81,175,198,232,261],"system":[18,36,82,177],"functions.":[19],"During":[20],"engineering,":[22],"functional":[24,65,88,123,158,185,200,241],"design":[25,66,89,124,159,201,242],"that":[26,41,235,253],"created":[28],"based":[29,227],"on":[30,163,168,228],"defined":[32,85,98],"requirements":[33,71,99,117,150,189,246],"for":[34,46],"main":[39],"artifact":[40],"serves":[42],"as":[43,84],"a":[44,74,192,229],"basis":[45],"subsequent":[47],"development":[48],"activities.":[49],"If":[50],"stakeholder":[51,112,127,136,216],"intentions":[52,128,137],"change":[53],"modifications":[55],"become":[56],"necessary,":[57],"they":[58,101],"are":[59,102],"frequently":[60],"incorporated":[61],"directly":[62],"into":[63],"without":[67],"updating":[68],"behavioral":[70],"accordingly.":[72],"As":[73],"consequence,":[75],"correctness":[77,210],"interplay":[80],"functions":[83],"in":[86,183,202,248,256],"cannot":[90],"be":[91,107,205],"assessed":[92],"by":[93],"checking":[94],"it":[95],"against":[96,109,125],"(since":[100],"outdated)":[103],"but":[104],"needs":[105,191],"checked":[108],"current":[111,215],"intentions.":[113,217],"More":[114],"precisely,":[115],"engineer":[118,151,190,247],"has":[119],"validate":[121,208],"because":[129],"he":[130],"expert":[133],"concerning":[134],"can":[139],"communicate":[140],"with":[141,156,211],"stakeholders":[143],"regarding":[144],"them,":[145],"if":[146],"necessary.":[147],"However,":[148],"typically":[153],"not":[154],"familiar":[155],"its":[161,209],"notation":[162],"one":[165],"hand,":[166,171],"and,":[167],"other":[170],"overall":[173],"behavior":[174],"spread":[179],"across":[180],"various":[181],"diagrams":[182],"design.":[186],"Therefore,":[187],"more":[193],"abstract":[194],"consolidated":[196],"view":[197],"order":[203],"able":[206],"regard":[212],"this":[219,257],"paper,":[220],"we":[221],"present":[222],"an":[223],"approach":[224,252],"which":[225],"specific":[230],"kind":[231],"review":[233],"model":[234],"automatically":[237],"generated":[238],"from":[239],"supports":[244],"her":[249],"task.":[250],"The":[251],"presented":[255],"paper":[258],"subject":[260],"ongoing":[262],"research.":[263]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}