{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:14Z","timestamp":1750306874656,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,30]],"date-time":"2012-09-30T00:00:00Z","timestamp":1348963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,30]]},"DOI":"10.1145\/2432631.2432632","type":"proceedings-article","created":{"date-parts":[[2013,1,29]],"date-time":"2013-01-29T16:21:18Z","timestamp":1359476478000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Tool-supported model-driven validation process for system architectures"],"prefix":"10.1145","author":[{"given":"Andr\u00e9","family":"Pfl\u00fcger","sequence":"first","affiliation":[{"name":"Wests\u00e4chsische Hochschule, Zwickau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Golubski","sequence":"additional","affiliation":[{"name":"Wests\u00e4chsische Hochschule, Zwickau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Queins","sequence":"additional","affiliation":[{"name":"SOPHIST GmbH, N\u00fcrnberg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Pfl\u00fcger A. Golubski W. Queins S.: Validation of System Architectures against Requirements. In: 2010 International Conference on Systems Computing Sciences and Software Engineering part of the International Joint Conferences on Computer Information and Systems Sciences and Engineering (CISSE). Springer (2012)  Pfl\u00fcger A. Golubski W. Queins S.: Validation of System Architectures against Requirements. In: 2010 International Conference on Systems Computing Sciences and Software Engineering part of the International Joint Conferences on Computer Information and Systems Sciences and Engineering (CISSE). Springer (2012)","DOI":"10.4018\/978-1-4666-4217-1.ch008"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2011.46"},{"key":"e_1_3_2_1_3_1","unstructured":"Boehm B. W.: Software Engineering Economics. Prentice Hall (1981)   Boehm B. W.: Software Engineering Economics. Prentice Hall (1981)"},{"key":"e_1_3_2_1_4_1","unstructured":"Endres A. Rombach D.: A Handbook of Software and Systems Engineering. Addison-Wesley Longman (2003)  Endres A. Rombach D.: A Handbook of Software and Systems Engineering. Addison-Wesley Longman (2003)"},{"key":"e_1_3_2_1_5_1","unstructured":"Grady J. O.: System Validation and Verification. CRC Press Boca Raton (1997)  Grady J. O.: System Validation and Verification. CRC Press Boca Raton (1997)"},{"key":"e_1_3_2_1_6_1","unstructured":"International Council on System Engineering: INCOSE Systems Engineering Handbook (version 3.2.2) http:\/\/www.incose.org  International Council on System Engineering: INCOSE Systems Engineering Handbook (version 3.2.2) http:\/\/www.incose.org"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Pohl K.: Requirements Engineering - Fundamentals Principles and Techniques. Springer (2010)   Pohl K.: Requirements Engineering - Fundamentals Principles and Techniques. Springer (2010)","DOI":"10.1007\/978-3-642-12578-2_20"},{"key":"e_1_3_2_1_9_1","unstructured":"D\u00f6rr J.: Elicitation of a Complete Set of Non-Functional Requirements. Doctoral Thesis. University of Kaiserslautern. Fraunhofer Verlag (2010)  D\u00f6rr J.: Elicitation of a Complete Set of Non-Functional Requirements. Doctoral Thesis. University of Kaiserslautern. Fraunhofer Verlag (2010)"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Debabbi M. Hassaine F. Jarraya Y. Soeanu A. Alawneh L.: Verification and Validation in Systems Engineering - Assessing UML\/SysML Design Models. Springer (2010)   Debabbi M. Hassaine F. Jarraya Y. Soeanu A. Alawneh L.: Verification and Validation in Systems Engineering - Assessing UML\/SysML Design Models. Springer (2010)","DOI":"10.1007\/978-3-642-15228-3"},{"key":"e_1_3_2_1_11_1","first-page":"75","volume-title":"LNCS","volume":"6627","author":"Schamai W.","year":"2011"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.20"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.18"},{"key":"e_1_3_2_1_14_1","first-page":"79","article-title":"A Seamless Model-Based Development Process for Automotive Systems. In: Software Engineering (SE) 2010 - Workshopband","volume":"184","author":"Holtmann J.","journal-title":"LNI"},{"key":"e_1_3_2_1_15_1","unstructured":"Clements P. Kazman R. Klein M.: Evaluating Software Architectures: Methods and Case Studies. Addison-Wesley Longman (2001)  Clements P. Kazman R. Klein M.: Evaluating Software Architectures: Methods and Case Studies. Addison-Wesley Longman (2001)"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967677.1967685"}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Innsbruck Austria","acronym":"MODELS '12"},"container-title":["Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2432631.2432632","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2432631.2432632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:20Z","timestamp":1750234700000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2432631.2432632"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,30]]},"references-count":15,"alternative-id":["10.1145\/2432631.2432632","10.1145\/2432631"],"URL":"https:\/\/doi.org\/10.1145\/2432631.2432632","relation":{},"subject":[],"published":{"date-parts":[[2012,9,30]]},"assertion":[{"value":"2012-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}