Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Software engineering --- Computer system failures. --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Failures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The service-oriented approach has become more and more popular, now allowing highly integrated and yet heterogeneous applications. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise-level integration. The highly dynamic characteristics of service-oriented applications means their validation is a continuous process that often runs in parallel with execution. It is not possible to clearly distinguish between the predeployment validation of a system and its use, nor is it possible to guarantee that the checks passed at a certain time will be passed at a later time and in the actual execution environment as well. Baresi and Di Nitto have put together the first reference on all aspects of testing and validating service-oriented architectures, taking into account these inherent intricacies. The contributions by leading academic and industrial research groups are structured into four parts on: static analysis to acquire insight into how the system is supposed to work; testing techniques to sample its actual behavior; monitoring to probe its operational performance; and nonfunctional requirements like reliability and trust. This monograph is an initial source of knowledge for researchers in both academia and industry in the field of service-oriented architecture validation and verification approaches. They will find a comprehensive survey of state-of-the-art approaches as well as techniques and tools to improve the quality of service-oriented applications.

Web services. --- Web services --- Testing. --- Application software --- Cloud computing --- Software engineering. --- Computer system performance. --- Information Systems Applications (incl. Internet). --- Software Engineering. --- System Performance and Evaluation. --- Computer software engineering --- Engineering --- Application software. --- Computer system failures. --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Failures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Current advances in High Performance Computing (HPC) increasingly impact efficient software development workflows. Programmers for HPC applications need to consider trends such as increased core counts, multiple levels of parallelism, reduced memory per core, and I/O system challenges in order to derive well performing and highly scalable codes. At the same time, the increasing complexity adds further sources of program defects. While novel programming paradigms and advanced system libraries provide solutions for some of these challenges, appropriate supporting tools are indispensable. Such tools aid application developers in debugging, performance analysis, or code optimization and therefore make a major contribution to the development of robust and efficient parallel software. This book introduces a selection of the tools presented and discussed at the 7th International Parallel Tools Workshop, held in Dresden, Germany, September 3-4, 2013.  .

High performance computing --- Research. --- Computer science. --- Computer system performance. --- Computational Science and Engineering. --- System Performance and Evaluation. --- Computer Applications. --- Informatics --- Science --- Computer mathematics. --- Computer system failures. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Computer mathematics --- Electronic data processing --- Mathematics --- Failures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This practically-focused text/reference presents a comprehensive overview of the present state of the art in Cloud Computing, and examines the potential for future Cloud and Cloud-related technologies to address specific industrial and research challenges. Compiled as a series of selected papers from leading Cloud researchers, this new edition recognizes the relative maturity of Cloud, as offers contrast to the first edition, and explores both established and emergent principles, techniques, protocols and algorithms involved with the design, development, and management of Cloud-based systems. The text reviews a range of applications and methods for linking Clouds, undertaking data management and scientific data analysis, and addressing requirements both of data analysis and also of management of large scale and complex systems. This new edition also extends into the emergent next generation of mobile telecommunications, relating network function virtualization and mobile edge Cloud Computing, as supports emergence of, for example, Smart Grids and Smart Cities. As with the first edition, emphasis continues to be placed on the four quality-of-service cornerstones of efficiency, scalability, robustness, and security. Topics and features: Introduces the essential technical characteristics and concepts behind the new developments in Cloud Computing, including architectural principles, performance evaluation, and quality of service Provides in-depth coverage of how Clouds can be designed to produce scientific insights and analysis, addressing agility, reproducibility, consistency and scalability, and proposing novel techniques and systems Offers an overview of novel approaches in producing scalable, high performance and decentralized Cloud systems, including P2P and graphs systems, to enable fault tolerant, scalable and high performance data intensive Clouds Presents ideas for federation and interoperability across Clouds, and the use of autonomic computing and other intelligent approaches to self-manage the federated Clouds Includes a Foreword by Dr. Omer F. Rana, Professor of Performance Engineering at Cardiff University, UK This authoritative volume will be especially appealing to researchers and students interested in aspects of Cloud Computing research, implementation and deployment. Professional system architects and developers, as well as technical managers and IT consultants, will also find the work to serve as an invaluable reference.

Computer science. --- Computer software --- Computer system failures. --- Computer Science. --- System Performance and Evaluation. --- Performance and Reliability. --- Reusability. --- Cloud computing. --- Electronic data processing --- Web services --- Distributed processing --- Computer system performance. --- Operating systems (Computers). --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- Computer software—Reusability. --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Failures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the first Asia Pacific Requirements Engineering Symposium, APRES 2014, held in Auckland, New Zealand, in April 2014. The 16 papers presented were carefully reviewed and selected from 30 submissions. The focus of the papers is on the following topics: novel ideas, methods, tools, and techniques for improving and enhancing Requirement Engineering products and processes.

Requirements engineering --- Requirements analysis --- Requirements capture --- Requirements gathering --- Requirements specification --- Engineering --- Specifications --- Software engineering. --- Computer system performance. --- Computer software. --- Software Engineering. --- System Performance and Evaluation. --- Algorithm Analysis and Problem Complexity. --- Software Engineering/Programming and Operating Systems. --- Software, Computer --- Computer systems --- Computer software engineering --- Computer system failures. --- Algorithms. --- Algorism --- Algebra --- Arithmetic --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Foundations --- Failures