{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T04:37:46Z","timestamp":1747802266003,"version":"3.41.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319161006"},{"type":"electronic","value":"9783319161013"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16101-3_5","type":"book-chapter","created":{"date-parts":[[2015,3,13]],"date-time":"2015-03-13T06:52:36Z","timestamp":1426229556000},"page":"65-80","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems"],"prefix":"10.1007","author":[{"given":"Marian","family":"Daun","sequence":"first","affiliation":[]},{"given":"Thorsten","family":"Weyer","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,14]]},"reference":[{"key":"5_CR1","unstructured":"ISO\/IEC\/IEEE: International Standard 24765: Systems and software engineering-Vocabulary (2010)"},{"key":"5_CR2","unstructured":"Davis, A., Overmyer, S., Jordan, K., Caruso, J., Dandashi, F., Dinh, A., Kincaid, G., Ledeboer, G., Reynolds, P., Sitaram, P., Ta, A., Theofanos, M.: Identifying and measuring quality in a software requirements specification. In: Proc. of IEEE Intl. Software Metrics Symposium, pp. 141\u2013152 (1993)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Knauss, E., Schneider, K., Stapel, K.: Learning to write better requirements through heuristic critiques. In: Proc. of RE, pp. 387\u2013388 (2009)","DOI":"10.1109\/RE.2009.58"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Nuseibeh, B.: Weaving together requirements and architectures. In: IEEE Computer, pp. 115\u2013119 (2001)","DOI":"10.1109\/2.910904"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Whalen, M., Murugesan, A., Heimdahl, M.: Your what is my how: why requirements and architectural design should be iterative. In: Proc. of Twin Peaks WS, pp. 36\u201340 (2012)","DOI":"10.1109\/TwinPeaks.2012.6344559"},{"key":"5_CR6","unstructured":"ISO\/IEC\/IEEE: International Standard 29148: Systems and software engineering - life cycle processes - Requirements engineering (2011)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Pretschner, A., Broy, M., Kruger, I., Stauner, T.: Software engineering for automotive systems: a roadmap. In: Proc. of Future of Software Engineering, pp. 55\u201371 (2007)","DOI":"10.1109\/FOSE.2007.22"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-15114-9_16","volume-title":"Software Architecture","author":"S Brinkkemper","year":"2010","unstructured":"Brinkkemper, S., Pachidi, S.: Functional architecture modeling for the software product industry. In: Babar, M.A., Gorton, I. (eds.) ECSA 2010. LNCS, vol. 6285, pp. 198\u2013213. Springer, Heidelberg (2010)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Jantsch, A., Sander, I.: On the roles of functions and objects in system specification. In: Proc. of Int. WS on Hardware\/Software Codesign, pp. 8\u201312 (2000)","DOI":"10.1145\/334012.334014"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Weber, M., Weisbrod, J.: Requirements engineering in automotive development - experiences and challenges. In: Proc. of RE, pp. 331\u2013340 (2002)","DOI":"10.1109\/ICRE.2002.1048546"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Clarke, E., Emerson, E., Sifakis, J.: Model checking: algorthmic verification and debugging. In: Commun. ACM, pp. 74\u201384 (2009)","DOI":"10.1145\/1592761.1592781"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proc. of ICSE, pp. 511\u2013520 (2008)","DOI":"10.1145\/1368088.1368158"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Borges, R., Garcez, A., Lamb, L.: Integrating model verification and self-adaptation. In: Proc. of ASE, pp. 317\u2013320 (2010)","DOI":"10.1145\/1858996.1859060"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Fradet, P., Le M\u00e9tayer, D., P\u00e9rin, M.: Consistency checking for multiple view. In: Proc. of ESEC\/FSE, pp. 410\u2013428 (1999)","DOI":"10.1007\/3-540-48166-4_25"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Paige, R., Brooke, P., Ostroff, J.: Metamodel-based model conformance and multiview consistency checking. In: TOSEM, pp. 1\u201349 (2007)","DOI":"10.1145\/1243987.1243989"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/11557432_47","volume-title":"Model Driven Engineering Languages and Systems","author":"E Van Paesschen","year":"2005","unstructured":"Van Paesschen, E., De Meuter, W., D\u2019Hondt, M.: SelfSync: a dynamic round-trip engineering environment. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 633\u2013647. Springer, Heidelberg (2005)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Malavolta, I., Muccini, H., Pelliccione, P., Tamburri, D.: Providing architectural languages and tools interoperability through model transformation technologies. In: TSE, pp. 119\u2013140 (2010)","DOI":"10.1109\/TSE.2009.51"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. SoSyM Journal, 21\u201343 (2009)","DOI":"10.1007\/s10270-008-0089-9"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Gotel, O., Finkelstein, A.: An analysis of the requirements traceability problem. In: Proc. of RE, pp. 94\u2013101 (1994)","DOI":"10.1109\/ICRE.1994.292398"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Winkler, S., Pilgrim, J.: A survey of traceability in requirements engineering and model-driven development. SoSyM Journal, 529\u2013565 (2010)","DOI":"10.1007\/s10270-009-0145-0"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Boehm, B., Basili, V.: Software defect reduction top 10 list. In: IEEE Computer, pp. 135\u2013137 (2001)","DOI":"10.1109\/2.962984"},{"key":"5_CR22","unstructured":"Gilb, T., Graham, D.: Software Inspection, Addison-Wesley (1993)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Basili, V., Green, S., Laitenberger, O., Shull, F., Sorumgard, S., Zelkowski, M.: The empirical investigation of perspective-based reading. J. Empir. Softw. Eng., 133\u2013164 (1996)","DOI":"10.1007\/BF00368702"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Shull, F., Basili, V., Zelkowitz, M., Boehm, B., Brown, A., Port, D., Rus, I., Tesoreiro, R.: What we have learned about fighting defects. In: Proc. of Intl. Symp. on Softw. Metrics, pp. 133\u2013154 (2002)","DOI":"10.1109\/METRIC.2002.1011343"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Daun, M., Weyer, T., Pohl, K.: Validating the functional design of embedded systems against stakeholder intentions. In: Proc. of Intl. Conf. on Model-Driven Eng. and Softw. Dev., pp. 333\u2013339 (2014)","DOI":"10.5220\/0004713103330339"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"175","DOI":"10.3758\/BF03193146","volume":"39","author":"F Faul","year":"2007","unstructured":"Faul, F., Erdfelder, E., Lang, A., Buchner, A.: G*Power 3: A flexible statistical power analysis program for the social, behavioral, and biomedical sciences. Behavior Research Methods 39, 175\u2013191 (2007)","journal-title":"Behavior Research Methods"},{"key":"5_CR27","volume-title":"Experimental and Quasi-Experimental Designs for Research","author":"D Campbell","year":"1963","unstructured":"Campbell, D., Stanley, J.: Experimental and Quasi-Experimental Designs for Research. Houghton Mifflin Company, Boston (1963)"},{"key":"5_CR28","unstructured":"Cook, T., Campbell, D.: Quasi-Experimentation - Design and Analysis Issues for Field Settings. Houghton Mifflin Company (1979)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Wieringa, R.: Empirical research methods for technology validation: Scaling up to practice. J. Syst. Software, 19\u201331 (2014)","DOI":"10.1016\/j.jss.2013.11.1097"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Daun, M., H\u00f6fflinger, J., Weyer, T.: Function-centered engineering of embedded systems: evaluating industry needs and possible solutions. In: Proc. of Intl. Conf. on Eval. of Novel Approaches to Softw. Eng., pp. 226\u2013234 (2014)","DOI":"10.5220\/0004967202260234"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16101-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T23:19:32Z","timestamp":1747783172000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-16101-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319161006","9783319161013"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16101-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"14 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}