|
Verification and validation represents an important process used for the quality assessment of engineered systems and their compliance with the requirements established at the beginning of or during the development cycle.
Debbabi and his coauthors 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). Moreover, it elaborates on a number of quantitative and qualitative techniques that synergistically combine automatic verification techniques, program analysis, and software engineering quantitative methods applicable to design models described in these modeling languages. Each of these techniques is additionally explained using a case study highlighting the process, its results, and resulting changes in the system design.
Researchers in academia and industry as well as students specializing in software and systems engineering will find here an overview of state-of-the-art validation and verification techniques. Due to their close association with the UML standard, the presented approaches are also applicable to industrial software development. |
|
|
Sound and Recording
This bestselling book introduces you to the principles of sound, perception, audio technology and systems. Providing vital reading for audio students and trainee engineers, this guide is ideal for anyone concerned with audio, sound and recording who wants a really good grounding in theory and industry practice.
Now with numerous... | | Substance Abuse in the Mentally and Physically Disabled
This up-to-the-minute reference explores current trends, disease etiology and associations, novel assessment tools, and modern laboratory tests to promote coordinated treatment of comorbid substance abuse, psychiatric disease, and general medical conditions-recognizing the causal relationship between substance abuse and medical and... | | ZBrush Digital Sculpting Human Anatomy
Taking into account that many of today's digital artists -- particularly 3D character animators -- lack foundational artistic instruction, this book teaches anatomy in a coherent and succinct style. A clear writing style explains how to sculpt an accurate human figure, starting with the skeleton and working out to muscle, fat, and skin.... |
|