Building High Integrity Applications with SPARK
Building High Integrity Applications with SPARK

Author: John W. McCormick

Publisher: Cambridge University Press

Published: 2015-08-31

Total Pages: 383

ISBN-13: 1316368386

DOWNLOAD EBOOK

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

Safer C
Safer C

Author: Les Hatton

Publisher: McGraw-Hill Companies

Published: 1995

Total Pages: 264

ISBN-13:

DOWNLOAD EBOOK

This important and timely book contains vital information for all developers working with C, whether in high-integrity areas or not, who need to produce reliable and effective software.

High Integrity Ada
High Integrity Ada

Author: John Gilbert Presslie Barnes

Publisher: Addison-Wesley Professional

Published: 1997

Total Pages: 392

ISBN-13:

DOWNLOAD EBOOK

This pack introduces the SPARK language and its associated tools and teaches the principles of writing safety-critical software using SPARK, a subset of the Ada 95 language. SPARK was specifically developed to serve industries developing high-integrity, safety-critical software with a language and associated toolset which increase the likelihood of the program behaving as intended.

High Integrity Die Casting Processes
High Integrity Die Casting Processes

Author: Edward J. Vinarcik

Publisher: John Wiley & Sons

Published: 2002-10-16

Total Pages: 253

ISBN-13: 0471275468

DOWNLOAD EBOOK

"It's about time that a practicing engineer with casting and academic experience has written a book that provides answers to questions about squeeze casting and semi-solid molding/forming that many engineers and students of casting need answered." —Joseph C. Benedyk, PhD, Consultant and retired technical director, Alcoa High Integrity Die Casting Processes provides a comprehensive look at the concepts behind advanced die casting technologies, including vacuum die casting, squeeze casting, and several variants of semi-solid metalworking. Practical applications for these processes are illustrated in numerous case studies. This single-source reference tool presents the latest material in five sections: Basic concepts of die casting and molten metal flow High integrity die casting processes with case studies Product design considerations Controlling quality and avoiding defects Future advances under development Key coverage includes a survey of liquid metal flow, strategies to overcome the limitations of conventional die casting, and potential defects unique to high integrity die casting processes. Also featured are methods for minimizing porosity, reducing cost by design, practical applied statistical process control techniques, designing for manufacturability, and containment methods for potential processing defects. Several chapters present detailed real-world examples illustrating the broad range of applications possible using high integrity die casting processes. Included with this book is a CD-ROM containing PowerPoint(r) presentations for each chapter. These presentations can be used for training purposes in conjunction with numerous study questions designed to practically apply the content of the book to real-world situations. Selected PowerPoint(r) slides can be used to support engineering proposals, marketing presentations, or customer education seminars. High Integrity Die Casting Processes is a valuable reference for both component producers and component users alike. Process engineers, tool designers, manufacturing engineers, production managers, and machine operators will acquire a better understanding of these advanced die casting processes to optimize manufacturing and improve product quality. Component designers, product engineers, purchasing agents, buyers, supplier quality engineers, and project managers will gain insight into these processes and develop superior products by design.

Site Reliability Engineering
Site Reliability Engineering

Author: Niall Richard Murphy

Publisher: "O'Reilly Media, Inc."

Published: 2016-03-23

Total Pages: 552

ISBN-13: 1491951176

DOWNLOAD EBOOK

The overwhelming majority of a software system’s lifespan is spent in use, not in design or implementation. So, why does conventional wisdom insist that software engineers focus primarily on the design and development of large-scale computing systems? In this collection of essays and articles, key members of Google’s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world. You’ll learn the principles and practices that enable Google engineers to make systems more scalable, reliable, and efficient—lessons directly applicable to your organization. This book is divided into four sections: Introduction—Learn what site reliability engineering is and why it differs from conventional IT industry practices Principles—Examine the patterns, behaviors, and areas of concern that influence the work of a site reliability engineer (SRE) Practices—Understand the theory and practice of an SRE’s day-to-day work: building and operating large distributed computing systems Management—Explore Google's best practices for training, communication, and meetings that your organization can use

C++ Coding Standards
C++ Coding Standards

Author: Herb Sutter

Publisher: Pearson Education

Published: 2004-10-25

Total Pages: 489

ISBN-13: 0132654423

DOWNLOAD EBOOK

Consistent, high-quality coding standards improve software quality, reduce time-to-market, promote teamwork, eliminate time wasted on inconsequential matters, and simplify maintenance. Now, two of the world's most respected C++ experts distill the rich collective experience of the global C++ community into a set of coding standards that every developer and development team can understand and use as a basis for their own coding standards. The authors cover virtually every facet of C++ programming: design and coding style, functions, operators, class design, inheritance, construction/destruction, copying, assignment, namespaces, modules, templates, genericity, exceptions, STL containers and algorithms, and more. Each standard is described concisely, with practical examples. From type definition to error handling, this book presents C++ best practices, including some that have only recently been identified and standardized-techniques you may not know even if you've used C++ for years. Along the way, you'll find answers to questions like What's worth standardizing--and what isn't? What are the best ways to code for scalability? What are the elements of a rational error handling policy? How (and why) do you avoid unnecessary initialization, cyclic, and definitional dependencies? When (and how) should you use static and dynamic polymorphism together? How do you practice "safe" overriding? When should you provide a no-fail swap? Why and how should you prevent exceptions from propagating across module boundaries? Why shouldn't you write namespace declarations or directives in a header file? Why should you use STL vector and string instead of arrays? How do you choose the right STL search or sort algorithm? What rules should you follow to ensure type-safe code? Whether you're working alone or with others, C++ Coding Standards will help you write cleaner code--and write it faster, with fewer hassles and less frustration.

Crowdsourcing and Probabilistic Decision-Making in Software Engineering: Emerging Research and Opportunities
Crowdsourcing and Probabilistic Decision-Making in Software Engineering: Emerging Research and Opportunities

Author: Gupta, Varun

Publisher: IGI Global

Published: 2019-08-30

Total Pages: 196

ISBN-13: 1522596615

DOWNLOAD EBOOK

With today’s technological advancements, the evolution of software has led to various challenges regarding mass markets and crowds. High quality processing must be capable of handling large groups in an efficient manner without error. Solutions that have been applied include artificial intelligence and natural language processing, but extensive research in this area has yet to be undertaken. Crowdsourcing and Probabilistic Decision-Making in Software Engineering: Emerging Research and Opportunities is a pivotal reference source that provides vital research on the application of crowd-based software engineering and supports software engineers who want to improve the manner in which software is developed by increasing the accuracy of probabilistic reasoning to support their decision-making and getting automation support. While highlighting topics such as modeling techniques and programming practices, this publication is ideally designed for software developers, software engineers, computer engineers, executives, professionals, and researchers.

Requirements Engineering for Software and Systems, Second Edition
Requirements Engineering for Software and Systems, Second Edition

Author: Phillip A. Laplante

Publisher: CRC Press

Published: 2013-10-17

Total Pages: 326

ISBN-13: 1466560819

DOWNLOAD EBOOK

As requirements engineering continues to be recognized as the key to on-time and on-budget delivery of software and systems projects, many engineering programs have made requirements engineering mandatory in their curriculum. In addition, the wealth of new software tools that have recently emerged is empowering practicing engineers to improve their requirements engineering habits. However, these tools are not easy to use without appropriate training. Filling this need, Requirements Engineering for Software and Systems, Second Edition has been vastly updated and expanded to include about 30 percent new material. In addition to new exercises and updated references in every chapter, this edition updates all chapters with the latest applied research and industry practices. It also presents new material derived from the experiences of professors who have used the text in their classrooms. Improvements to this edition include: An expanded introductory chapter with extensive discussions on requirements analysis, agreement, and consolidation An expanded chapter on requirements engineering for Agile methodologies An expanded chapter on formal methods with new examples An expanded section on requirements traceability An updated and expanded section on requirements engineering tools New exercises including ones suitable for research projects Following in the footsteps of its bestselling predecessor, the text illustrates key ideas associated with requirements engineering using extensive case studies and three common example systems: an airline baggage handling system, a point-of-sale system for a large pet store chain, and a system for a smart home. This edition also includes an example of a wet well pumping system for a wastewater treatment station. With a focus on software-intensive systems, but highly applicable to non-software systems, this text provides a probing and comprehensive review of recent developments in requirements engineering in high integrity systems.

EMPOWERED
EMPOWERED

Author: Marty Cagan

Publisher: John Wiley & Sons

Published: 2020-12-03

Total Pages: 435

ISBN-13: 1119691257

DOWNLOAD EBOOK

"Great teams are comprised of ordinary people that are empowered and inspired. They are empowered to solve hard problems in ways their customers love yet work for their business. They are inspired with ideas and techniques for quickly evaluating those ideas to discover solutions that work: they are valuable, usable, feasible and viable. This book is about the idea and reality of "achieving extraordinary results from ordinary people". Empowered is the companion to Inspired. It addresses the other half of the problem of building tech products?how to get the absolute best work from your product teams. However, the book's message applies much more broadly than just to product teams. Inspired was aimed at product managers. Empowered is aimed at all levels of technology-powered organizations: founders and CEO's, leaders of product, technology and design, and the countless product managers, product designers and engineers that comprise the teams. This book will not just inspire companies to empower their employees but will teach them how. This book will help readers achieve the benefits of truly empowered teams"--

Software Engineering for Large Software Systems
Software Engineering for Large Software Systems

Author: City University (London, England). Centre for Software Reliability. Conference

Publisher: Springer Science & Business Media

Published: 1990

Total Pages: 392

ISBN-13: 9781851665044

DOWNLOAD EBOOK

These proceedings include tutorials and papers presented at the Sixth CSR Confer ence on the topic of Large Software Systems. The aim of the Conference was to identify solutions to the problems of developing and maintaining large software systems, based on approaches which are currently being undertaken by software practitioners. These proceedings are intended to make these solutions more widely available to the software industry. The papers from software practitioners describe: • important working systems, highlighting their problems and successes; • techniques for large system development and maintenance, including project management, quality management, incremental delivery, system security, in dependent V & V, and reverse engineering. In addition, academic and industrial researchers discuss the practical impact of current research in formal methods, object-oriented design and advanced environ ments. The keynote paper is provided by Professor Brian Warboys of ICL and the University of Manchester, who masterminded the development of the ICL VME Operating System, and the production of the first database-driven software en gineering environment (CADES). The proceedings commence with reports of the two tutorial sessions which preceded the conference: • Professor Keith Bennett of the Centre for Software Maintenance at Durham University on Software Maintenance; • Professor John McDermid of the University of York on Systems Engineering Environments for High Integrity Systems. The remaining papers deal with reports on existing systems (starting with Professor Warboys' keynote paper), approaches to large systems development, methods for large systems maintenance and the expected impact of current research.