@incollectionSPESXT2016j, Author = {Albers, Karsten AND Battram, Peter AND Bognar, Alfred AND Brandstetter, Veronika AND Froese, Andreas AND Tenbergen, Bastian AND Vogelsang, Andreas AND Wegener, Joachim}, Title = {Early Validation of Engineering Artifacts}, Year = {2016}, Pages = {75-103}, Editor = {Pohl, Klaus and Broy, Manfred and Daembkes, Heinrich and Hönninger, Harald}, Publisher = {Springer}, Booktitle = {Advanced Model-Based Engineering of Embedded Systems}, Doi = {10.1007/978-3-319-48003-9_6}, Url = {http://dx.doi.org/10.1007/978-3-319-48003-9_6}, type = {incollection}, note = {Valid engineering artifacts are a key success factor for reliable (software) systems. Validity in this sense means that the engineering artifacts are the right ones to completely and correctly describe system properties as desired by stakeholders, and tha}, Abstract = {Valid engineering artifacts are a key success factor for reliable (software) systems. Validity in this sense means that the engineering artifacts are the right ones to completely and correctly describe system properties as desired by stakeholders, and that they are consistent among one another.} @COMMENTBibtex file generated on