This book emphasizes the importance of validation and verification in the modernization of systems that are critical to safety, security, and economic profits. Containing integration analyses to control the evolution of legacy systems towards object oriented technologies, this publication...