This book brings together two important trends: graph algorithms and high-performance computing. Efficient and scalable execution of graph processing applications in data or network analysis requires innovations at multiple levels: algorithms, associated data structures, their implementation and tuning to a particular hardware. Further, programming languages and the associated compilers play a crucial role when it comes to automating efficient code generation for various architectures. This book discusses the essentials of all these aspects. The book is divided into three parts: programming, languages, and their compilation. The first part examines the manual parallelization of graph algorithms, revealing various parallelization patterns encountered, especially when dealing with graphs. The second part uses these patterns to provide language constructs that allow a graph algorithm to be specified. Programmers can work with these language constructs without worrying about their implementation, which is the focus of the third part. Implementation is handled by a compiler, which can specialize code generation for a backend device. The book also includes suggestive results on different platforms, which illustrate and justify the theory and practice covered. Together, the three parts provide the essential ingredients for creating a high-performance graph application. The book ends with a section on future directions, which offers several pointers to promising topics for future research. This book is intended for new researchers as well as graduate and advanced undergraduate students. Most of the chapters can be read independently by those familiar with the basics of parallel programming and graph algorithms. However, to make the material more accessible, the book includes a brief background on elementary graph algorithms, parallel computing and GPUs. Moreover it presents a case study using Falcon, a domain-specific language for graph algorithms, to illustrate the concepts.

Software Quality Control, Error, Analysis

"Contemporary Issues in Database Design and Information" presents the latest research ideas and topics on databases and software development. The chapters in this innovative publication provide a representation of topnotch research in all areas of the database and information systems development.

This book is about software piracy--what it is and how it's done. Stealing software is not to be condoned, and theft of intellectual property and copyright infringement are serious matters, but it's totally unrealistic to pretend that it doesn't happen. Software piracy has reached epidemic proportions. Many computer users know this, the software companies know this, and once you've read the Introduction to this book, you'll understand why. Seeing how widespread software piracy is, learning how it's accomplished, and particularly how incredibly easy it is to do might surprise you. This book describes how software piracy is actually being carried out.
* This book is about software piracy--what it is and how it's done
* This is the first book ever to describe how software is actually stolen and traded over the internet
* Discusses security implications resulting from over 1/2 of the internet's computers running illegal, unpatched, pirated software

This book discusses important topics for engineering and managing software startups, such as how technical and business aspects are related, which complications may arise and how they can be dealt with. It also addresses the use of scientific, engineering, and managerial approaches to successfully develop software products in startup companies. The book covers a wide range of software startup phenomena, and includes the knowledge, skills, and capabilities required for startup product development; team capacity and team roles; technical debt; minimal viable products; startup metrics; common pitfalls and patterns observed; as well as lessons learned from startups in Finland, Norway, Brazil, Russia and USA. All results are based on empirical findings, and the claims are backed by evidence and concrete observations, measurements and experiments from qualitative and quantitative research, as is common in empirical software engineering. The book helps entrepreneurs and practitioners to become aware of various phenomena, challenges, and practices that occur in real-world startups, and provides insights based on sound research methodologies presented in a simple and easy-to-read manner. It also allows students in business and engineering programs to learn about the important engineering concepts and technical building blocks of a software startup. It is also suitable for researchers at different levels in areas such as software and systems engineering, or information systems who are studying advanced topics related to software business.

Software testing is a critical aspect of the software development process, and this heavily illustrated reference takes professionals on a complete tour of this increasingly important, multi-dimensional area. The book offers a practical understanding of all the most critical software testing topics and their relationships and inter-dependencies. This unique resources utilizes a wealth of graphics that support the discussions to offer a clear overview of software testing, from the definition of testing, handling failures, faults, and errors, and the value and purpose of testing, to the cost of fault corrections, scoping of the test effort, and how standards guide testing. Practitioners find numerous examples and exercises presented in each chapter to help ensure a complete understanding of the material.

SQA (software quality assurance) is a critical factor that all software engineers and developers need to master, and this thoroughly revised fourth edition of the popular book, "Handbook of Software Quality Assurance", serves as a one-stop resource for complete and current SQA knowledge. Emphasizing the importance of CMMI[registered] and key ISO requirements, this unique book discusses a wide spectrum of real-world experiences and key issues presented in papers from leading experts in the field. The fourth edition is a significant update to past editions, providing the very latest details on current best practices and explaining how SQA can be implemented in organizations large and small. Practitioners find an updated discussion on the American Society for Quality (ASQ) SQA certification program, covering the benefits of becoming an ASQ certified software quality engineer. The book also helps readers better understand the requirements of the ASQ's CSQE examination.

The text is for a two semester course in advanced calculus. It develops the basic ideas of calculus rigorously but with an eye to showing how mathematics connects with other areas of science and engineering. In particular, effective numerical computation is developed as an important aspect of mathematical analysis.
* Maintains a rigorous presentation of the main ideas of advanced calculus, interspersed with applications that show how to analyze real problems
* Includes a wide range of examples and exercises drawn from mechanics, biology, chemical engineering and economics
* Describes links to numerical analysis and provides opportunities for computation; some MATLAB
codes are available on the author's webpage
* Enhanced by an informal and lively writing style

This book focuses on software reuse and the chances, dependability tests and recommendations for best reuse practice. A short introduction of the Ecodesign of hardware is given combined with the latest update of relevant EU legislation and standardization. It also describes the combination of different states of software in a E&E system in order to guarantee dependability of the product to be resold.

Accelerated Testing and Validation Methods is a cross-disciplinary guide that describes testing and validation tools and techniques throughout the product development process. Alex Porter not only focuses on what information is needed but also on what tools can produce the information in a timely manner. From the information provided, engineers and managers can determine what data is needed from a test and validation program and then how to select the best, most effective methods for obtaining the data.
This book integrates testing and validation methods with a business perspective so readers can understand when, where, and how such methods can be economically justified. Testing and validation is about generating key information at the correct time so that sound business and engineering decisions can be made. Rather than simply describing various testing and validation techniques, the author offers readers guidance on how to select the best tools for a particular need, explains the appropriateness of different techniques to various situations and shows how to deploy them to ensure the desired information is accurately gathered.
* Emphasizes developing a strategy for testing and validation
* Companion website includes example spreadsheets, program source code, case studies, video clips and much more
* Teaches how to design a testing and validation program that deliver information in a timely and cost-effective manner

This book covers several topics related to domain-specific language (DSL) engineering in general and how they can be handled by means of the JetBrains Meta Programming System (MPS), an open source language workbench developed by JetBrains over the last 15 years. The book begins with an overview of the domain of language workbenches, which provides perspectives and motivations underpinning the creation of MPS. Moreover, technical details of the language underneath MPS together with the definition of the tool's main features are discussed. The remaining ten chapters are then organized in three parts, each dedicated to a specific aspect of the topic. Part I "MPS in Industrial Applications" deals with the challenges and inadequacies of general-purpose languages used in companies, as opposed to the reasons why DSLs are essential, together with their benefits and efficiency, and summarizes lessons learnt by using MPS. Part II about "MPS in Research Projects" covers the benefits of text-based languages, the design and development of gamification applications, and research fields with generally low expertise in language engineering. Eventually, Part III focuses on "Teaching and Learning with MPS" by discussing the organization of both commercial and academic courses on MPS. MPS is used to implement languages for real-world use. Its distinguishing feature is projectional editing, which supports practically unlimited language extension and composition possibilities as well as a flexible mix of a wide range of textual, tabular, mathematical and graphical notations. The number and diversity of the presented use-cases demonstrate the strength and malleability of the DSLs defined using MPS. The selected contributions represent the current state of the art and practice in using JetBrains MPS to implement languages for real-world applications.

Model-Driven Domain Analysis and Software Development: Architectures and Functions displays how to effectively map and respond to the real-world challenges and purposes which software must solve. The implications can be far-reaching and apply to domains such as mechatronic, embedded and high risk systems, where failure could cost human lives. It is also important for complex business systems, wherein failures could lead to huge financial losses. This book forms an essential reference for developers and researchers by providing both cases and theories to ensure a strong and suitable domain analysis to support all other efforts when creating and applying software solutions.

Systems designers are asked constantly to improve end-users experiences while ensuring network stability and security and minimizing the use of resources. This trifold demand can only be met by incorporating the latest technological advances into the design, development, and maintenance of new software systems. Theoretical and Analytical Service-Focused Systems Design and Development provides solutions to these challenges. It advances the practice and understanding of contemporary theories and empirical analysis for systems engineering in a way that achieves service excellence.

A concise and practical introduction to the basic principles of effective software verification and validation (V&V). This edition has been revised and includes five new chapters and five new appendices focused on management techniques to make your company's software V&V efforts more cost-effective. Managers should learn how to help their organization create more accurate estimates and schedules. Practitioners should learn fundamental software V&V practices such as the formal inspection process, configuration management, effective testing techniques, and how to use measurements to drive further process improvements.

This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments. Celebrating the 20th anniversary of adesso AG, adesso gathered some of the pioneers of software engineering including Manfred Broy, Ivar Jacobson and Carlo Ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. This way it offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso's experience applying these results in real-world projects.

Authored by an internationally known expert in configuration management (CM) solutions, this unique new book helps experienced professionals and novices alike see why CM is critical to the survival of their company's e-commerce and e-business development and management.

Unlike other books on configuration management, this book examines CM from a "business value" perspective. You learn why your company's e-business and e-commerce - encompassing web content, web applications, back-office applications, code and data - simply will not survive or thrive without CM.

CD-ROM Included Contains two PowerPoint presentations by Susan Dart: The Agony and Ecstasy of Configuration Management and Mastering E-Development.

The papers contained in this volume were originally presented at the 2015 International Conference on Complex Systems in Business, Administration, Science and Engineering. Included are the latest works of practitioners from a variety of disciplines who have developed new approaches for resolving complex issues that cannot be formulated using conventional, mathematical or software models.Complex Systems occur in an infinite variety of problems, not only in the realm of physical sciences and engineering, but also in such diverse fields as economics, the environment, humanities, and social and political sciences.The papers in the book cover such topics as: Complex ecological systems; Complexity science and urban developments; Complex energy systems; Complex issues in biological and medical sciences; Extreme events: natural and human made disasters; Climate change; Complexity of the internet-based global market; Complex business processes; Supply chain complexity; Transportation complexity; Logistics complexity; Closed and open systems; Attractions and chaotic systems; Complex adaptive software; Complexity of big data; Management of complexity; Global economy as a complex system; Complexity in social systems; Complex political systems; Administrations as complex systems; Complexity in engineering; Complexity and environment; Complexity and evolution; Complexity in linguistics, literature and arts.

Human-computer interaction studies the users and their interaction with an interactive software system (ISS). However, these studies are designed for people without any type of disability, causing there to be few existing techniques or tools that focus on the characteristics of a specific user, thus causing accessibility and utility issues for neglected segments of the population. This reference source intends to remedy this lack of research by supporting an ISS focused on people with visual impairment. User-Centered Software Development for the Blind and Visually Impaired: Emerging Research and Opportunities is a collection of innovative research on techniques, applications, and methods for carrying out software projects in which the main users are people with visual impairments. While highlighting topics including mobile technology, assistive technologies, and human-computer interaction, this book is ideally designed for software developers, computer engineers, designers, academics, researchers, professionals, and educators interested in current research on usable and accessible technologies.

Software Reliability Engineering is the classic guide to this time-saving practice for the software professional. ACM Software Engineering Notes praised it as: ."an introductory book, a reference, and an application book all compressed in a single volume.The author's experience in reliability engineering is apparent and his expertise is infused in the text." IEEE Computer noted: "Toward software you can depend on.This book illustrates the entire SRE process.An aid to systems engineers, systems architects, developers, and managers." This Second Edition is thoroughly rewritten for the latest SRE practice, enlarged 50%, and polished by thousands of practitioners. Added workshops help you apply what you learn to your project. Frequently asked questions were doubled to more than 700. The step-by-step process summary, software user manual, list of articles of SRE user experience, glossary, background sections, and exercises are all updated, enhanced, and exhaustively indexed. To see the Table of Contents and other details, click on http: //members.aol.com/JohnDMusa/book.htm