Cleanroom Software Engineering

Cleanroom Software Engineering
Author: Stacy J. Prowell
Publisher: Pearson Education
Total Pages: 412
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.

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:

Proceedings of the 12th International Conference on Measurement and Quality Control - Cyber Physical Issue

Proceedings of the 12th International Conference on Measurement and Quality Control - Cyber Physical Issue
Author: Vidosav D. Majstorovic
Publisher: Springer
Total Pages: 343
Release: 2019-05-03
Genre: Technology & Engineering
ISBN: 3030181774

This book gathers the proceedings of the 12th International Conference on Measurement and Quality Control – Cyber Physical Issues (IMEKO TC 14 2019), held in Belgrade, Serbia, on 4–7 June 2019. The event marks the latest in a series of high-level conferences that bring together experts from academia and industry to exchange knowledge, ideas, experiences, research findings, and information in the field of measurement of geometrical quantities. The book addresses a wide range of topics, including: 3D measurement of GPS characteristics, measurement of gears and threads, measurement of roughness, micro- and nano-metrology, laser metrology for precision measurements, cyber physical metrology, optical measurement techniques, industrial computed tomography, multisensor techniques, intelligent measurement systems, evaluating measurement uncertainty, dimensional management in industry, product quality assurance methods, and big data analytics. By providing updates on key issues and highlighting recent advances in measurement and quality control, the book supports the transfer of vital knowledge to the next generation of academics and practitioners.

Using the IBM Security Framework and IBM Security Blueprint to Realize Business-Driven Security

Using the IBM Security Framework and IBM Security Blueprint to Realize Business-Driven Security
Author: Axel Buecker
Publisher: IBM Redbooks
Total Pages: 240
Release: 2014-02-06
Genre: Computers
ISBN: 0738437891

Security is a major consideration in the way that business and information technology systems are designed, built, operated, and managed. The need to be able to integrate security into those systems and the discussions with business functions and operations exists more than ever. This IBM® Redbooks® publication explores concerns that characterize security requirements of, and threats to, business and information technology (IT) systems. This book identifies many business drivers that illustrate these concerns, including managing risk and cost, and compliance to business policies and external regulations. This book shows how these drivers can be translated into capabilities and security needs that can be represented in frameworks, such as the IBM Security Blueprint, to better enable enterprise security. To help organizations with their security challenges, IBM created a bridge to address the communication gap between the business and technical perspectives of security to enable simplification of thought and process. The IBM Security Framework can help you translate the business view, and the IBM Security Blueprint describes the technology landscape view. Together, they can help bring together the experiences that we gained from working with many clients to build a comprehensive view of security capabilities and needs. This book is intended to be a valuable resource for business leaders, security officers, and consultants who want to understand and implement enterprise security by considering a set of core security capabilities and services.

The Incremental Commitment Spiral Model

The Incremental Commitment Spiral Model
Author: Barry W. Boehm
Publisher: Pearson Education
Total Pages: 339
Release: 2014
Genre: Computers
ISBN: 0321808223

Many systems development practitioners find traditional "one-size-fits-all" processes inadequate for the growing complexity, diversity, dynamism, and assurance needs of their products and services. The Incremental Commitment Spiral Model (ICSM) responds with a principle- and risk-based framework for defining and evolving your project and corporate process assets. This book explains ICSM's framework of decision criteria and principles, and shows how to apply them through relevant examples.

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.

Cyber Security Engineering

Cyber Security Engineering
Author: Nancy R. Mead
Publisher: Addison-Wesley Professional
Total Pages: 561
Release: 2016-11-07
Genre: Computers
ISBN: 0134189876

Cyber Security Engineering is the definitive modern reference and tutorial on the full range of capabilities associated with modern cyber security engineering. Pioneering software assurance experts Dr. Nancy R. Mead and Dr. Carol C. Woody bring together comprehensive best practices for building software systems that exhibit superior operational security, and for considering security throughout your full system development and acquisition lifecycles. Drawing on their pioneering work at the Software Engineering Institute (SEI) and Carnegie Mellon University, Mead and Woody introduce seven core principles of software assurance, and show how to apply them coherently and systematically. Using these principles, they help you prioritize the wide range of possible security actions available to you, and justify the required investments. Cyber Security Engineering guides you through risk analysis, planning to manage secure software development, building organizational models, identifying required and missing competencies, and defining and structuring metrics. Mead and Woody address important topics, including the use of standards, engineering security requirements for acquiring COTS software, applying DevOps, analyzing malware to anticipate future vulnerabilities, and planning ongoing improvements. This book will be valuable to wide audiences of practitioners and managers with responsibility for systems, software, or quality engineering, reliability, security, acquisition, or operations. Whatever your role, it can help you reduce operational problems, eliminate excessive patching, and deliver software that is more resilient and secure.

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.