Cleanroom Software Engineering

Cleanroom Software Engineering
Author: Stacy J. Prowell
Publisher: Pearson Education
Total Pages: 398
Release: 1999-03-09
Genre: Computers
ISBN: 0768685117

Cleanroom software engineering is a process for developing and certifying high-reliability software. Combining theory-based engineering technologies in project management, incremental development, software specification and design, correctness verification, and statistical quality certification, the Cleanroom process answers today's call for more reliable software and provides methods for more cost-effective software development. Cleanroom originated with Harlan D. Mills, an IBM Fellow and a visionary in software engineering. Written by colleagues of Mills and some of the most experienced developers and practitioners of Cleanroom, Cleanroom Software Engineering provides a roadmap for software management, development, and testing as disciplined engineering practices. This book serves both as an introduction for those new to Cleanroom and as a reference guide for the growing practitioner community. Readers will discover a proven way to raise both quality and productivity in their software-intensive products, while reducing costs. Highlights Explains basic Cleanroom theory Introduces the sequence-based specification method Elaborates the full management, development, and certification process in a Cleanroom Reference Model (CRM) Shows how the Cleanroom process dovetails with the SEI's Capability Maturity Model for Software (CMM) Includes a large case study to illustrate how Cleanroom methods scale up to large projects.

Software Technology for Adaptable, Reliable System (STARS) Program. Mapping of Cleanroom Against the CMM: Capability Maturity Model for Software Detailed Mapping to Cleanroom Software Engineering Process

Software Technology for Adaptable, Reliable System (STARS) Program. Mapping of Cleanroom Against the CMM: Capability Maturity Model for Software Detailed Mapping to Cleanroom Software Engineering Process
Author:
Publisher:
Total Pages: 29
Release: 1996
Genre:
ISBN:

This document provides the results of an evaluation of the level of compliance of the Cleanroom Software Engineering (CSE) process with the Capability Maturity Model (SW-CMM) for Software, v 1.1. The evaluation of the CSE process for compliance against the SW-CMM was performed using Software Process Framework (SPF) and the source document.

Software Technology for Adaptable, Reliable Systems (STARS) Program. Mapping of Cleanroom Against the CMM: Capability Maturity Model for Software Goals Mapped to Cleanroom Software Engineering Process

Software Technology for Adaptable, Reliable Systems (STARS) Program. Mapping of Cleanroom Against the CMM: Capability Maturity Model for Software Goals Mapped to Cleanroom Software Engineering Process
Author:
Publisher:
Total Pages: 23
Release: 1995
Genre:
ISBN:

This document provides the results of an evaluation of the levels of conformance of the Cleanroom Software Engineering (C SE) process with the Capability Maturity Model (SW-CMM) for Software, vl. 1, Goals. The Goals for each SW-CMM level and KPA are listed and the level of conformance is indicated as outlined in the following descriptions: High - CSE addresses the goal to a very high degree. Medium - CSE addresses the goal to a partial degree. Low - CSE addresses the goal in a very minimal fashion. None - CSE does not address the goal to any degree.

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice
Author: Michael G. Hinchey
Publisher: Springer Science & Business Media
Total Pages: 420
Release: 1999-09-17
Genre: Computers
ISBN: 9781852336400

"Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work."--Jacket.

Proceedings

Proceedings
Author:
Publisher:
Total Pages: 744
Release: 1997
Genre: Computer programming
ISBN:

Cleanroom Software Engineering Implementation of the Capability Maturity Model (CMMsm) for Software

Cleanroom Software Engineering Implementation of the Capability Maturity Model (CMMsm) for Software
Author:
Publisher:
Total Pages: 104
Release: 1996
Genre:
ISBN:

Cleanroom software engineering is a theory-based engineering process for development and certification of high-reliability software systems under statistical quality control. Cleanroom is intended to help software organizations improve their ability to apply engineering discipline to software development. Cleanroom is defined in terms of 14 processes that implement the technology and operations involved in Clean room software development. This report defines the Clean room software engineering implementation of the Capability Maturity Model for Software. The definition is expressed in terms of a mapping of the 14 Cleanroom processes into the 18 CMM key process areas.

Engineering DevOps

Engineering DevOps
Author: Marc Hornbeek
Publisher: Bookbaby
Total Pages: 400
Release: 2019-12-06
Genre:
ISBN: 9781543989618

This book is an engineering reference manual that explains "How to do DevOps?". It is targeted to people and organizations that are "doing DevOps" but not satisfied with the results that they are getting. There are plenty of books that describe different aspects of DevOps and customer user stories, but up until now there has not been a book that frames DevOps as an engineering problem with a step-by-step engineering solution and a clear list of recommended engineering practices to guide implementors. The step-by-step engineering prescriptions can be followed by leaders and practitioners to understand, assess, define, implement, operationalize, and evolve DevOps for their organization. The book provides a unique collection of engineering practices and solutions for DevOps. By confining the scope of the content of the book to the level of engineering practices, the content is applicable to the widest possible range of implementations. This book was born out of the author's desire to help others do DevOps, combined with a burning personal frustration. The frustration comes from hearing leaders and practitioners say, "We think we are doing DevOps, but we are not getting the business results we had expected." Engineering DevOps describes a strategic approach, applies engineering implementation discipline, and focuses operational expertise to define and accomplish specific goals for each leg of an organization's unique DevOps journey. This book guides the reader through a journey from defining an engineering strategy for DevOps to implementing The Three Ways of DevOps maturity using engineering practices: The First Way (called "Continuous Flow") to The Second Way (called "Continuous Feedback") and finally The Third Way (called "Continuous Improvement"). This book is intended to be a guide that will continue to be relevant over time as your specific DevOps and DevOps more generally evolves.

The Gauge Block Handbook

The Gauge Block Handbook
Author: Ted Doiron
Publisher: Createspace Independent Publishing Platform
Total Pages: 146
Release: 2014-02-19
Genre: Science
ISBN: 9781495431944

This handbook is a both a description of the current practice at the National Institute of Standards and Technology, and a compilation of the theory and lore of gauge block calibration. Most of the chapters are nearly self-contained so that the interested reader can, for example, get information on the cleaning and handling of gauge blocks without having to read the chapters on measurement schemes or process control, etc. This partitioning of the material has led to some unavoidable repetition of material between chapters. The basic structure of the handbook is from the theoretical to the practical. Chapter 1: basic concepts and definitions of length and units; Chapter 2: history of gauge blocks, appropriate definitions and a discussion of pertinent national and international standards; Chapter 3: physical characteristics of gauge blocks, including thermal, mechanical and optical properties; Chapter 4: a description of statistical process control (SPC) and measurement assurance (MA) concepts; and Chapters 5 and 6: details of the mechanical comparisons and interferometric techniques used for gauge block calibrations. Full discussions of the related uncertainties and corrections are included. Finally, the appendices cover in more detail some important topics in metrology and gauge block calibration.