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

Covers aspects of system design and efficient modelling, and also introduces various fault models and fault mechanisms associated with digital circuits integrated into System on Chip (SoC), Multi-Processor System-on Chip (MPSoC) or Network on Chip (NoC).

Systemic enterprise architecture as future: tackling complexity in governments in the cusp of change / Pallab Saha -- Enterprises as complex systems: extended axiomatic design theory and its application in enterprise architecture practice / Hadi Kandjani, Peter Bernus, Lian Wen -- Complex...

"This book is a valuable addition to the reading list of executives, managers, and staff in business, government, and other sectors who seek to keep their enterprises agile and efficient as they manage change, implement new business processes and supporting technologies, and pursue important...

The lack of formal semantics of applications and services to be integrated into business processes makes it difficult for software engineers and developers to interconnect heterogeneous applications. This book provides methods that incorporate and streamline processes that allow employees,...

Current IT developments like component-based development and Web services have emerged as effective ways of building complex enterprise-scale information systems and providing enterprise application integration. To aid this process, platforms such as .NET and WebSphere have become standards in...