Integration of enterprise applications (EAI) and e-business integration are time-consuming and expensive. This thesis proposes pattern mining to determine identical object classes. Processes are integrated based on declared integration goals and known software behavior. A model-driven approach...

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...

Section 1. Model-Based Approaches -- 1. UML as Front-End Language for Embedded Systems Design / Lisane Brisolara de Brisolara, Márcio Eduardo Kreutz, Luigi Carro -- 2. Model-Driven Design and ASM-Based Validation of Embedded Systems / Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra --...