All Software Engineering/Programming and Operating System Titles

This book details how to design a Web Dynpro component, the data binding and interface methods, and the view controller methods. It also describes other SAP NetWeaver Elements and the integration of the Web Dynpro Application into the SAP NetWeaver Portal.

This book details a large scale distributed video processing system. It develops an algorithm that allows parallel and distributed task processing and addresses the problems characterized by the seasonal demand for large volumes of video processing.

How is it that one system is better than another to its stakeholders? This question drove Christopher Alexander’s quest to explain great physical architecture. This book translates his ideas into the abstract domain of information systems and modeling.

This handbook is a reference for those interested in information technologies and emerging management practices in China. The subject area is a combination of global information technology and management along with strategic management of IT.

Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification and verification of agent-based systems. Topics include theorem proving to verify agent programs, model checking logistics, refining multi-agent systems, and more.

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

This book offers a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle, focusing on such concepts as reuse of system components, analysis, validation and more.

The book describes the science gateway building technology developed in the SCI-BUS European project and its adoption and customization method, by which user communities, such as biologists, chemists, ...