Software Engineering Laboratory Sel Cleanroom Process Model
Download Software Engineering Laboratory Sel Cleanroom Process Model full books in PDF, epub, and Kindle. Read online free Software Engineering Laboratory Sel Cleanroom Process Model ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
| Author | : National Aeronautics and Space Administration (NASA) |
| Publisher | : Createspace Independent Publishing Platform |
| Total Pages | : 68 |
| Release | : 2018-07-10 |
| Genre | : |
| ISBN | : 9781722746414 |
The Software Engineering Laboratory (SEL) cleanroom process model is described. The term 'cleanroom' originates in the integrated circuit (IC) production process, where IC's are assembled in dust free 'clean rooms' to prevent the destructive effects of dust. When applying the clean room methodology to the development of software systems, the primary focus is on software defect prevention rather than defect removal. The model is based on data and analysis from previous cleanroom efforts within the SEL and is tailored to serve as a guideline in applying the methodology to future production software efforts. The phases that are part of the process model life cycle from the delivery of requirements to the start of acceptance testing are described. For each defined phase, a set of specific activities is discussed, and the appropriate data flow is described. Pertinent managerial issues, key similarities and differences between the SEL's cleanroom process model and the standard development approach used on SEL projects, and significant lessons learned from prior cleanroom projects are presented. It is intended that the process model described here will be further tailored as additional SEL cleanroom projects are analyzed. Green, Scott and Basili, Victor and Godfrey, Sally and Mcgarry, Frank and Pajerski, Rose and Waligora, Sharon Goddard Space Flight Center...
| Author | : National Aeronautics and Space Adm Nasa |
| Publisher | : Independently Published |
| Total Pages | : 64 |
| Release | : 2018-11-06 |
| Genre | : Science |
| ISBN | : 9781730890208 |
This case study analyzes the application of the cleanroom software development methodology to the development of production software at the NASA/Goddard Space Flight Center. The cleanroom methodology emphasizes human discipline in program verification to produce reliable software products that are right the first time. Preliminary analysis of the cleanroom case study shows that the method can be applied successfully in the FDD environment and may increase staff productivity and product quality. Compared to typical Software Engineering Laboratory (SEL) activities, there is evidence of lower failure rates, a more complete and consistent set of inline code documentation, a different distribution of phase effort activity, and a different growth profile in terms of lines of code developed. The major goals of the study were to: (1) assess the process used in the SEL cleanroom model with respect to team structure, team activities, and effort distribution; (2) analyze the products of the SEL cleanroom model and determine the impact on measures of interest, including reliability, productivity, overall life-cycle cost, and software quality; and (3) analyze the residual products in the application of the SEL cleanroom model, such as fault distribution, error characteristics, system growth, and computer usage. Green, Scott and Kouchakdjian, Ara and Basili, Victor and Weidow, David Goddard Space Flight Center...
| Author | : Barry Boehm |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 452 |
| Release | : 2005-05-13 |
| Genre | : Computers |
| ISBN | : 9783540245476 |
Although software engineering can trace its beginnings to a NATO conf- ence in 1968, it cannot be said to have become an empirical science until the 1970s with the advent of the work of Prof. Victor Robert Basili of the University of Maryland. In addition to the need to engineer software was the need to understand software. Much like other sciences, such as physics, chemistry, and biology, software engineering needed a discipline of obs- vation, theory formation, experimentation, and feedback. By applying the scientific method to the software engineering domain, Basili developed concepts like the Goal-Question-Metric method, the Quality-Improvement- Paradigm, and the Experience Factory to help bring a sense of order to the ad hoc developments so prevalent in the software engineering field. On the occasion of Basili’s 65th birthday, we present this book c- taining reprints of 20 papers that defined much of his work. We divided the 20 papers into 6 sections, each describing a different facet of his work, and asked several individuals to write an introduction to each section. Instead of describing the scope of this book in this preface, we decided to let one of his papers, the keynote paper he gave at the International C- ference on Software Engineering in 1996 in Berlin, Germany to lead off this book. He, better than we, can best describe his views on what is - perimental software engineering.
| Author | : Paul Oman |
| Publisher | : John Wiley & Sons |
| Total Pages | : 344 |
| Release | : 1996-11-13 |
| Genre | : Computers |
| ISBN | : 9780818676451 |
Features a useful collection of important and practical papers on applying software metrics and measurement. The book details the importance of planning a successful measurement program with a complete discussion of why, what, where, when, and how to measure and who should be involved. Each chapter addresses these significant questions and provides the essential answers in building an effective measurement program. The book differs from others on the market by focusing on the application of the metrics rather than the metrics themselves. The author's provide information based on actual experience with successful metrics programs. Each chapter includes a case study focusing on technology transfer and a set of recommended references. The book serves as a guide on the use and application of software metrics in industrial environments. It is specially designed for managers, product supervisors, and quality assurance personnel who want to know how to implement a metrics program.
| 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.
| Author | : |
| Publisher | : |
| Total Pages | : 892 |
| Release | : 1994 |
| Genre | : Aeronautics |
| ISBN | : |
| Author | : Eugene McGuire |
| Publisher | : IGI Global |
| Total Pages | : 260 |
| Release | : 1999-01-01 |
| Genre | : Computers |
| ISBN | : 9781878289544 |
Software Process Improvement (SPI) efforts are being undertaken by organizations of all types and sizes as they attempt to deal with the challenges of quality, complexity and competitiveness. Software process improvement efforts rely on the successful integration of many technical, organizational and methodological issues. SPI has provided a rich field for both conceptual and practical research in industry and academia. Software Process Improvement: Concepts and Practices provides the opportunity for rich socio-technical and interdisciplinary studies in addition to those studies that primarily focus on process and/or enabling technology issues. This book addresses numerous aspects of SPI program development, implementation, trends, opportunities and future challenges in organizations.
| Author | : |
| Publisher | : |
| Total Pages | : |
| Release | : 1994 |
| Genre | : Government publications |
| ISBN | : |
| Author | : Dan Craigen |
| Publisher | : William Andrew |
| Total Pages | : 318 |
| Release | : 2012-12-02 |
| Genre | : Computers |
| ISBN | : 1437728170 |
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.
| Author | : |
| Publisher | : |
| Total Pages | : 1284 |
| Release | : 1994 |
| Genre | : Government publications |
| ISBN | : |
