"Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models" by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh
Sрringеr | 2010 | ISBN: 3642152279 9783642152283 9783642152276 | 265 pages | PDF | 10 MB
Authors investigate methodologies and techniques that can be employed for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Their presentation includes a bird’s eye view of the most prominent modeling languages for software and systems engineering, namely the Unified Modeling Language (UML) and the more recent Systems Modeling Language (SysML).