{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:39:00Z","timestamp":1742927940619,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319480022"},{"type":"electronic","value":"9783319480039"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48003-9_6","type":"book-chapter","created":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T02:46:36Z","timestamp":1480560396000},"page":"75-103","source":"Crossref","is-referenced-by-count":0,"title":["Early Validation of Engineering Artifacts"],"prefix":"10.1007","author":[{"given":"Karsten","family":"Albers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Battram","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Bognar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Veronika","family":"Brandstetter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Froese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastian","family":"Tenbergen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Vogelsang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Wegener","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,2]]},"reference":[{"key":"6_CR1","unstructured":"[Boehm 1981] B. Boehm: Software Engineering Economics. Prentice Hall, Englewood Cliffs, 1981."},{"key":"6_CR2","unstructured":"[Brandstetter et al. 2015a] V. Brandstetter, A. Froese, B. Tenbergen, A. Vogelsang, J. C. Wehrstedt, T. Weyer: Early Validation of Control Software for Automation Plants on the Example of a Seawater Desalination Plant. In: Proceedings of CAISE 2015, pp. 189-196."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"[Brandstetter et al. 2015b] V. Brandstetter, A. Froese, B. Tenbergen, A. Vogelsang, J. C. Wehrstedt, T. Weyer: Early Validation of Automation Plant Control Software for using Simulation Based on Assumption Modeling and Validation Use Cases. In: Complex Systems Informatics and Modeling Quarterly Issue 4, pp. 50-65.","DOI":"10.7250\/csimq.2015-4.04"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"[Broy 2010] M. Broy: Multifunctional software systems: Structured modeling and specification of functional requirements. In: Science of Computer Programming. Vol. 75, No. 12, 2010.","DOI":"10.1016\/j.scico.2010.06.007"},{"key":"6_CR5","unstructured":"[Daun et al. 2014] M. Daun, J. Brings, B. Tenbergen, T. Weyer: On the Model-Based Documentation of Knowledge Sources in the Engineering of Embedded Systems. In: Proceedings of the Fourth Workshop on the Future of the Development of Software-Intensive Embedded System Development (ENVISION2020), 2014, pp. 67-76."},{"key":"6_CR6","unstructured":"[Daun et al. 2015] M. Daun, B. Tenbergen, J. Brings, T. Weyer: Documenting Assumptions about the Operational Context of Long-Living Collaborative Embedded Systems. In: Proceedings of the 2nd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systetm (EMLS), 2015, pp. 115-117."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"[Fagan 1976] M. E. Fagan: Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal, Vol. 15, No. 3, 1976, pp. 258-287.","DOI":"10.1147\/sj.153.0182"},{"key":"6_CR8","unstructured":"[Farfeleder et al. 2011] S. Farfeleder, T. Moser, A. Krall, T. St\u00e5lhane, H. Zojer, C. Panis: DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development. In: Proceedings of the IEEE 14th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2011, pp. 271-274."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"[Flynn and Warhurst 1994] D. Flynn, R. Warhurst: An Empirical Study of the Validation Process within Requirements Determination. In: Information Systems Journal, Vol. 4, No.3, 2014, pp. 185-212.","DOI":"10.1111\/j.1365-2575.1994.tb00051.x"},{"key":"6_CR10","unstructured":"[Gacirua et al. 2009] R. Gacirua, L. Ma, B. Nuseibeh, P. Piwek, A. de Roeck, M. Rouncefield, P. Sawyer, A. Willis, H. Yang: Making Tacit Requirements Explicit. In: Proceedings of the 2nd International Workshop on Managing Requirements Engineering Knowledge, 2009."},{"key":"6_CR11","unstructured":"[Glinz and Fricker 2014] M. Glinz, S. A. Fricker: On shared understanding in software engineering: an essay. In: Computer Science-Research and Development. Springer, Berlin Heidelberg, 2014."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"[Grochtmann and Grimm 1993] M. Grochtmann, K. Grimm: Classification Trees for Partition Testing. In: Software Testing, Verification & Reliability, Vol. 3, No. 2, 1993.","DOI":"10.1002\/stvr.4370030203"},{"key":"6_CR13","unstructured":"[ISO\/IEC 25010] ISO\/IEC: ISO\/lEC 25010:2011-03 \u2013 Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models. 2011."},{"key":"6_CR14","unstructured":"[Lisagor et al. 2010] I. Lisagor, L Sun, T. Kelly: The Illusion of Method: Challenges of Model-Based Safety Assesment. In: Proceedings of the 28th International System Safety Conference (ISSC), 2010."},{"key":"6_CR15","unstructured":"[Reinkemeier et al. 2011] P. Reinkemeier, I. Stierand, P. Rehkop, S. Henkler: A pattern-based requirement specification language: Mapping automotive specific timing requirements. Software Engineering 2011 \u2013 Workshopband, 2011."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"[Shull et al. 2000] F. Shull, I. Rus, V. Basili: How Perspective-Based Reading Can Improve Requirements Inspections. In: IEEE Computer, Vol. 33, 2000.","DOI":"10.1109\/2.869376"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"[Sikora et al. 2012] E. Sikora, B. Tenbergen, K. Pohl: Industry Needs and Research Directions in Requirements Engineering for Embedded Systems. In: Requirements Engineering, Vol. 17, No.1, 2012, pp. 57-78.","DOI":"10.1007\/s00766-011-0144-x"},{"key":"6_CR18","unstructured":"[Staalhane et al. 2010] T. Staalhane, I. Omoronyiam, F. Reichenbach: Ontology guided requirements and safety analysis. In: Proceedings of the 6th International Conference on Safety of Industrial Automated Systems (SIAS 2010), 2010."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"[Tenbergen et al. 2015] B. Tenbergen, T. Weyer, K. Pohl: Supporting the Validation of Adequacy in Requirements-Based Hazard Mitigations. In: Proceedings of the 21st International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ), 2015, pp. 17-32.","DOI":"10.1007\/978-3-319-16101-3_2"},{"key":"6_CR20","unstructured":"[Vogelsang et al. 2014] A. Vogelsang, S. Eder, G. Hackenberg, M. Junker, S. Teufl: Supporting concurrent development of requirements and architecture: A model-based approach. In: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, 2014."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"[Vogelsang et al. 2015] A. Vogelsang, H. Femmer, C. Winkler: Systematic Elicitation of Mode Models for Multifunctional Systems. In: Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015.","DOI":"10.1109\/RE.2015.7320447"},{"key":"6_CR22","unstructured":"[Wiegers 2003] K. Wiegers: Software Requirements. Microsoft Press, Redmond, 2003."}],"container-title":["Advanced Model-Based Engineering of Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48003-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:57:34Z","timestamp":1498352254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48003-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319480022","9783319480039"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48003-9_6","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}