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

"This book investigates the use of service-oriented computing technologies in addressing supporting infrastructure of the cloud, including new challenges in modeling and simulation"--Provided by publisher.

"This book is a compilation of advanced research results in architecture and modeling issues of multi-agent systems. It serves as a reference for research on system models, architectural design languages, methods and reasoning, module interface design, and design issues"--Provided by publisher.

1. Developing tools that support effective mobile and game based learning : the COLLAGE platform / Evi Chryssafidou, Sofoklis Sotiriou, Pavlos Koulouris, Manolis Stratakis, Antonis Miliarakis, Mario Barajas, Marcelo Milrad, Daniel Spikol -- 2. Designing an architecture to provide ubiquity in...

"This book bridges two fields that, although closely related, are often studied in isolation: enterprise modeling and information systems modeling. The principal idea is to use a standard language for modeling information systems, UML, as a catalyst and investigate its potential for modeling...