This book is proof that debugging has graduated from a black art to a systematic discipline. It demystifies one of the toughest aspects of software programming, showing clearly how to discover what caused software failures, and fix them with minimal muss and fuss.
The fully updated second edition includes 100+ pages of new material, including new chapters on Verifying Code, Predicting Erors, and Preventing Errors. Cutting-edge tools such as FindBUGS and AGITAR are explained, techniques from integrated environments like Jazz.net are highlighted, and all-new demos with ESC/Java and Spec#, Eclipse and Mozilla are included.
This complete and pragmatic overview of debugging is authored by Andreas Zeller, the talented researcher who developed the GNU Data Display Debugger(DDD), a tool that over 250,000 professionals use to visualize the data structures of programs while they are running. Unlike other books on debugging, Zeller's text is product agnostic, appropriate for all programming languages and skill levels.
The book explains best practices ranging from systematically tracking error reports, to observing symptoms, reproducing errors, and correcting defects. It covers a wide range of tools and techniques from hands-on observation to fully automated diagnoses, and also explores the author's innovative techniques for isolating minimal input to reproduce an error and for tracking cause and effect through a program. It even includes instructions on how to create automated debugging tools.
The text includes exercises and extensive references for further study, and a companion website with source code for all examples and additional debugging resources is available.
*The new edition of this award-winning productivity-booster is for any developer who has ever been frustrated by elusive bugs
*Brand new chapters demonstrate cutting-edge debugging techniques and tools, enabling readers to put the latest time-saving developments to work for them
*Learn by doing. New exercises and detailed examples focus on emerging tools, languages and environments, including AGITAR, FindBUGS, Python and Eclipse.

The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key new features in Ada 2022. The book is in four parts. It begins by introducing the fundamental concepts for newcomers, before moving onto algorithmic aspects and then structural features such as OOP and multitasking. The fourth part gives details of the standard library and interaction with the external environment. Six complete executable programs illustrate the core features of the language in action. The book concludes with an appendix focussing on the new features in Ada 2022. These new features aid program proof and the efficient use of multicore architectures.

A comprehensive guide to understanding the standard and most recent advances in the design of reliable computer systems. It is organized into three sections, beginning with an in-depth review of existing reliability techniques and evaluation criteria for both hardware and software. also examined are the models for detecting faults and predicting failures, and the financial considerations which are inherent in the design, purchase, operation, and maintenance of a reliable system.

Providing a concise and accessible overview of the design, implementation and management of medical software, this textbook will equip students with a solid understanding of critical considerations for both standalone medical software (software as a medical device/SaMD) and software that is integrated into hardware devices. It includes: practical discussion of key regulatory documents and industry standards, and how these translate into concrete considerations for medical software design; detailed coverage of the medical software lifecycle process ; accessible introduction to quality and risk management systems in the context of medical software; succinct coverage of essential topics in data science, machine learning, statistics, cybersecurity, software engineering and healthcare bring readers up-to-speed; six cautionary real-world case studies illustrate the dangers of improper or careless software processes. Accompanied by online resources for instructors, this is the ideal introduction for undergraduate students in biomedical engineering, electrical engineering and computer science, junior software engineers, and digital health entrepreneurs.

This textbook addresses students, professionals, lecturers and researchers interested in software product line engineering. With more than 100 examples and about 150 illustrations, the authors describe in detail the essential foundations, principles and techniques of software product line engineering.

The authors are professionals and researchers who significantly influenced the software product line engineering paradigm and successfully applied software product line engineering principles in industry. They have structured this textbook around a comprehensive product line framework.

Software product line engineering has proven to be the paradigm for developing a diversity of software products and software-intensive systems in shorter time, at lower cost, and with higher quality. It facilitates platform-based development and mass customisation. The authors elaborate on the two key principles behind software product line engineering: (1) the separation of software development in two distinct processes, domain and application engineering; (2) the explicit definition and management of the variability of the product line across all development artefacts.

As a student, you will find a detailed description of the key processes, their activities and underlying techniques for defining and managing software product line artefacts. As a researcher or lecturer, you will find a comprehensive discussion of the state of the art organised around the comprehensive framework. As a professional, you will find guidelines for introducing this paradigm in your company and an overview of industrial experiences with software product line engineering.

Service engineering is increasingly posing challenges to traditional software engineering methodologies including specification, modeling, architecture, and verification, just to name a few. On the other hand, the latest advancements in software engineering are continuously leveraged in Service Engineering research, especially in the design and implementation of service-oriented systems. Several mutual impacts between service engineering and software engineering could be observed in the last decade, and many research efforts have been devoted to the field. However, in spite of the considerable efforts and significant contributions, few have attempted to summarize the research results systematically.

The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to automate inventory, tracking and basic identification, today IoT is characterized by a dynamic trend toward connecting smart sensors, objects, devices, data and applications. The next step will be cognitive IoT, facilitating object and data re-use across application domains and leveraging hyper-connectivity, interoperability solutions and semantically enriched information distribution.

The Architectural Reference Model (ARM), presented in this book by the members of the IoT-A project team driving this harmonization effort, makes it possible to connect vertically closed systems, architectures and application areas so as to create open interoperable systems and integrated environments and platforms. It constitutes a foundation from which software companies can capitalize on the benefits of developing consumer-oriented platforms including hardware, software and services.

The material is structured in two parts. Part A introduces the general concepts developed for and applied in the ARM. It is aimed at end users who want to use IoT technologies, managers interested in understanding the opportunities generated by these novel technologies, and system architects who are interested in an overview of the underlying basic models. It also includes several case studies to illustrate how the ARM has been used in real-life scenarios. Part B then addresses the topic at a more detailed technical level and is targeted at readers with a more scientific or technical background. It provides in-depth guidance on the ARM, including a detailed description of a process for generating concrete architectures, as well as reference manuals with guidelines on how to use the various models and perspectives presented to create a concrete architecture. Furthermore, best practices and tips on how system engineers can use the ARM to develop specific IoT architectures for dedicated IoT solutions are illustrated and exemplified in reverse mapping exercises of existing standards and platforms."

Spring Framework 6 remains - by far - the leading de-facto "out of the box" practical Java meta application development framework for building complex enterprise, cloud-native applications as well as web applications and microservices. Introducing Spring Framework 6 is your hands-on tutorial guide for learning the Spring Framework 6 from top to bottom, and allows you to build an example application along the way from the ground-up. As you learn the Spring Framework over the course of this book, you'll incrementally build your first Spring application piece-by-piece as you learn each module, project or component of the Spring Framework and its extensions and ecosystem. As you learn the various fundamentals, you'll then apply them immediately to your Spring application. This Spring application, My Documents, enables you to learn by doing. After reading this book, you will have the essentials you should need to start using the Spring Framework and building your own Java-based applications or microservices with it. What you'll learn: Get started with Spring Framework 6 by VMWare Tanzu and the Spring community Build your first My Documents application using Spring Framework and its extensions Test your Spring application Add persistence to your application using Spring Data JPA and more Show your Spring application on the Web with Spring MVC and related Use REST APIs to enhance your application and add messaging with Kafka and AMQP Integrate your Spring application with external systems using Spring Integration toolkit Who is this book for: This book is for those aspiring software developers and programmers who are new to Spring. Some prior programming experience recommended, preferably in Java.

BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request of the Upper Aus trian Government with the objective of creating a scienti?c, technological, and economic impulse for the region and the international community. In the meantime, in a joint e?ort, the Softwarepark Hagenberg has grown to the current (2009) size of over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs on the bachelor, master's and PhD level. The goal of the Softwarepark Hagenberg is innovation of economy in one of the most important current technologies: software. It is the message of this book that this can only be achieved and guaranteed long term by "watering the root", namely emphasis on research, both basic and applied. In this book, we summarize what has been achieved in terms of research in the various research institutions in the Softwarepark Hagenberg and what research vision we have for the imminent future. When I founded the Softwarepark Hagenberg, in addition to the "watering the root" principle, I had the vision that such a technology park can only prosper if we realize the "magic triangle", i.e. the close interaction of research, academic education, and business applications at one site, see Figure 1.

The Complete Guide to Writing Maintainable, Manageable, Pleasing, and Powerful Object-Oriented Applications Object-oriented programming languages exist to help you create beautiful, straightforward applications that are easy to change and simple to extend. Unfortunately, the world is awash with object-oriented (OO) applications that are difficult to understand and expensive to change. Practical Object-Oriented Design, Second Edition, immerses you in an OO mindset and teaches you powerful, real-world, object-oriented design techniques with simple and practical examples. Sandi Metz demonstrates how to build new applications that can "survive success" and repair existing applications that have become impossible to change. Each technique is illustrated with extended examples in the easy-to-understand Ruby programming language, all downloadable from the companion website, poodr.com. Fully updated for Ruby 2.5, this guide shows how to Decide what belongs in a single class Avoid entangling objects that should be kept separate Define flexible interfaces among objects Reduce programming overhead costs with duck typing Successfully apply inheritance Build objects via composition Whatever your previous object-oriented experience, this concise guide will help you achieve the superior outcomes you're looking for. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.

System Integration presents the systems approach to complex problem solving and provides a powerful base for both product and process integration. This unique reference describes 27 kinds of integration work, primarily obtained through human communications. Simple computer applications-already in place in most companies-have the resources to encourage the availability and sharing of current team knowledge, which results in an intense, cooperative experience leading rapidly to sound design solutions.

1 Einfuhrung in die Thematik.- 1.1 Begriffsfindungen.- 1.2 Herausforderung Nr. 1: Der Preiskarnpf in der IT-Branche.- 1.3 Von Umsatzzielen und Provisionsmodellen.- 1.3.1 Einfuhrung und Begriffsfindungen.- 1.3.2 Umsatzziele.- 1.3.3 Das lineare Provisionsmodell.- 1.3.4 Das progressive Provisionsmodell.- 1.3.5 Zusammenfassung.- 1.4 Der Forecast.- 1.4.1 Begriffsfindung.- 1.4.2 Moegliche Einflussgroessen im Forecast.- 1.4.3 Informationen, die der Forecast beinhalten sollte.- 1.4.4 Forecast Meetings.- 1.4.5 Fazit.- 1.5 Vorgehensweisen im Vertrieb.- 1.5.1 Allgemeines zu Vorgehensweisen im Vertrieb.- 1.5.2 Unterschiedliche Modelle.- 1.5.3 Aufwandsbetrachtungen im Vertrieb.- 1.5.4 Der Vertriebszyklus - Sales Cycle.- 1.5.5 Unterschiedliche Vertriebsansatze hinsichtlich der Zielgruppe beim Kunden.- 1.5.6 Der "Take-the-money-and-go"-Ansatz.- 1.5.7 Argumentationshilfe Return on Investment.- 1.5.8 Fazit.- 1.6 Die Quartalsdenke.- 1.6.1 Einfuhrung.- 1.6.2 Umsatzziele boersennotierter Unternehmen.- 1.6.3 Damoklesschwert Quartalsende.- 1.6.4 Konsequenzen der Quartalsdenke.- 1.6.5 Fazit.- 1.7 Vertrieb uber das Internet.- 1.7.1 Ruckblick.- 1.7.2 Vorgehensweise beim Vertrieb uber das Internet.- 1.7.3 Zu schaffende Grundvoraussetzungen.- 1.7.4 Fazit.- 1.8 Call Center.- 1.8.1 Einfuhrung.- 1.8.2 Arbeitsweise von Call Centern.- 1.8.3 Die 3 Schritte eines Piloten.- 1.8.4 Auswahl eines Call Centers.- 1.8.5 Vorteile des Einsatzes von Call Centern.- 1.8.6 Entlohnung von Call Centern.- 1.8.7 Weitere Einsatzmoeglichkeiten von Call Centern.- 1.8.8 Fazit.- 1.9 Vertriebsgebiete.- 1.9.1 Einfuhrung.- 1.9.2 Nach Postleitzahlen aufgebaute Vertriebsgebiete.- 1.9.3 Nach Branchen aufgeteilte Vertriebsgebiete.- 1.9.4 Mischung zwischen Branchen- und Postleitzahlen-orientierten Vertriebsgebieten.- 1.9.5 Problemfalle bei der Zuordnung.- 1.9.6 Fazit.- 1.10 Ausblick auf die weiteren Inhalte dieses Buches.- 2 Rollen im Vertrieb.- 2.1 Einfuhrung in Rollen.- 2.2 Die einzelnen Rollen innerhalb einer grossen Vertriebsorganisation.- 2.2.1 Der Vertriebsleiter.- 2.2.2 Der Vertriebsdirektor.- 2.2.3 Der Gebietsleiter.- 2.2.4 Der Vertriebsmitarbeiter.- 2.2.5 Der Telesales.- 2.2.6 Der Telequalifizierer.- 2.2.7 Zusammenfassung.- 2.3 Die Wirkungsfelder der unterschiedlichen Rollen.- 2.3.1 Einfuhrung.- 2.3.2 Wirkungsfeld des Vertriebsleiters.- 2.3.3 Wirkungsfeld des Vertriebsdirektors.- 2.3.4 Wirkungsfeld des Gebietsverkaufsleiters.- 2.3.5 Wirkungsfeld des Vertriebsmitarbeiters.- 2.3.6 Wirkungsfeld des Telesales.- 2.3.7 Wirkungsfeld des Telequalifizierers.- 2.4 Der Presales als Bindeglied zum Vertriebsmitarbeiter.- 2.4.1 Vorbemerkung.- 2.4.2 Aufgabenbeschreibung des Presales.- 2.4.3 Der Presales-Pool.- 2.4.4 Wirkungsfeld des Presales.- 2.4.5 Der Unterschied zum Consulting-Mitarbeiter.- 2.4.6 Zusammenfassung.- 2.5 Fazit.- 3 Produktvertrieb versus Dienstleistungsvertrieb.- 3.1 Einfuhrung in die Thematik.- 3.2 Die wesentlichen Unterschiede zwischen Produkt- und Dienstleistungsvertrieb.- 3.2.1 Allgemeines.- 3.2.2 Unterschiede beim Geldfluss.- 3.2.3 Unterschiede im Risiko.- 3.2.4 Unterschiede im Vertriebsansatz.- 3.2.5 Unterschiede bei der Kompensation von Umsatzausfallen.- 3.2.6 Unterschiede in der Motivation.- 3.2.7 Fazit.- 3.3 Gemeinsamkeiten zwischen Produkt- und Dienstleistungsvertrieb.- 3.3.1 Allgemeines.- 3.3.2 Gesprachsvorbereitung.- 3.3.3 Wettbewerbsbetrachtungen.- 3.3.4 Fazit.- 3.4 Gemeinsames Hilfsmittel im Vertrieb: Der Workshop.- 3.4.1 Hinfuhrung zum Thema.- 3.4.2 Zielsetzung des Workshops.- 3.4.3 Berechnung des Workshops.- 3.4.4 Zusammensetzung des Teilnehmerkreises.- 3.4.5 Inhaltliche Gestaltung eines Workshops beim Kunden.- 3.4.6 Auswirkungen eines erfolgreichen Workshops.- 3.4.7 Externe Unterstutzung bei der Konzeption eines Workshops.- 3.5 Integration von Risikomanagement.- 3.5.1 Einleitung.- 3.5.2 Erstellen einer Risikoliste.- 3.5.3 Festlegen von Risikoklassen und Risikowahrscheinlichkeitsklassen.- 3.5.4 Ableiten einer Risikomatrix.- 3.5.5 Ergebnisse.- 3.

Advances in Computers carries on a tradition of excellence, presenting detailed coverage of innovations in computer hardware, software, theory, design, and applications. The book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles typically allow. The articles included in this book will become standard references, with lasting value in this rapidly expanding field.

Written by two very experienced instructors, with more than thirty years of teaching experience between them; Presents material that is grounded in practical applications that are representative of the problems researchers encounter in real life; Teaches readers the core features of modern JavaScript; Covers programming with callbacks and promises; Describes how to build data services and data visualization;

Thousands of organizations are adopting Scrum to transform the way they execute complex projects, in software and beyond. This guide will give you the skills and confidence needed to deploy Scrum, resulting in high-performing teams and satisfied customers. Drawing on years of hands-on experience helping companies succeed, Certified Scrum Trainer (CST) Mitch Lacey helps you overcome the major challenges of Scrum adoption and the deeper issues that emerge later. Extensively revised to reflect improved Scrum practices and tools, this edition adds an all-new section of tips from the field. Lacey covers many new topics, including immersive interviewing, collaborative estimation, and deepening business alignment. In 35 engaging chapters, you'll learn how to build support and maximize value across your company. Now part of the renowned Mike Cohn Signature Series on agile development, this pragmatic guide addresses everything from establishing roles and priorities to determining team velocity, setting sprint length, and conducting customer reviews. Coverage includes Bringing teams and new team members on board Creating a workable definition of "done" Planning for short-term wins, and removing impediments to success Balancing predictability and adaptability in release planning Running productive daily scrums Fixing failing sprints Accurately costing projects, and measuring the value they deliver Managing risks in dynamic Scrum projects Prioritizing and estimating backlogs Working with distributed and offshore teams Institutionalizing improvements, and extending agility throughout the organization Packed with real-world examples straight from Lacey's experience, this book will be invaluable to anyone transitioning to Scrum, seeking to improve their early results, or trying to get back on track.

This book identifies, defines and illustrates the fundamental concepts and engineering techniques relevant to applications of software languages in software development. It presents software languages primarily from a software engineering perspective, i.e., it addresses how to parse, analyze, transform, generate, format, and otherwise process software artifacts in different software languages, as they appear in software development. To this end, it covers a wide range of software languages - most notably programming languages, domain-specific languages, modeling languages, exchange formats, and specifically also language definition languages. Further, different languages are leveraged to illustrate software language engineering concepts and techniques. The functional programming language Haskell dominates the book, while the mainstream programming languages Python and Java are additionally used for illustration. By doing this, the book collects and organizes scattered knowledge from software language engineering, focusing on application areas such as software analysis (software reverse engineering), software transformation (software re-engineering), software composition (modularity), and domain-specific languages. It is designed as a textbook for independent study as well as for bachelor's (advanced level) or master's university courses in Computer Science. An additional website provides complementary material, for example, lecture slides and videos. This book is a valuable resource for anyone wanting to understand the fundamental concepts and important engineering principles underlying software languages, allowing them to acquire much of the operational intelligence needed for dealing with software languages in software development practice. This is an important skill set for software engineers, as languages are increasingly permeating software development.

Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components.

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products; unfolding products; search procedures for basic verification problems, such as reachability and livelocks; and model checking LTL. The final chapter summarizes the results of the book, and points the reader to tools and case studies.

The book will be of value to researchers and graduate students engaged in automatic verification and concurrency theory.

Any organization with valuable data has been or will be attacked, probably successfully, at some point and with some damage. And, don't all digitally connected organizations have at least some data that can be considered "valuable"? Cyber security is a big, messy, multivariate, multidimensional arena. A reasonable "defense-in-depth" requires many technologies; smart, highly skilled people; and deep and broad analysis, all of which must come together into some sort of functioning whole, which is often termed a security architecture. Secrets of a Cyber Security Architect is about security architecture in practice. Expert security architects have dozens of tricks of their trade in their kips. In this book, author Brook S. E. Schoenfield shares his tips and tricks, as well as myriad tried and true bits of wisdom that his colleagues have shared with him. Creating and implementing a cyber security architecture can be hard, complex, and certainly frustrating work. This book is written to ease this pain and show how to express security requirements in ways that make the requirements more palatable and, thus, get them accomplished. It also explains how to surmount individual, team, and organizational resistance. The book covers: What security architecture is and the areas of expertise a security architect needs in practice The relationship between attack methods and the art of building cyber defenses Why to use attacks and how to derive a set of mitigations and defenses Approaches, tricks, and manipulations proven successful for practicing security architecture Starting, maturing, and running effective security architecture programs Secrets of the trade for the practicing security architecture Tricks to surmount typical problems Filled with practical insight, Secrets of a Cyber Security Architect is the desk reference every security architect needs to thwart the constant threats and dangers confronting every digitally connected organization.