With the increasing popularity of the Internet, electronic commerce, and enterprise applications, this book has been developed to focus on Unified Modeling Language (UML), Unified Process (UP) and other information modeling methods and methodologies, and involves conceptual, theoretical,...

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 brings together pedagogical and technological methods to address the recent challenges that have developed in computer programming courses and focuses on educational tools, computer science concepts, and educational design"--Provided by publisher.

An example-based generator of XSLT programs / José Paulo Leal, Ricardo Queirós -- A secure and dynamic mobile identity wallet authorization architecture based on a XMPP messaging Infrastructure / Alexandre B. Augusto, Manuel E. Correia -- Making programming exercises interoperable with PExIL /...