Software Technology For Adaptable Reliable Systems Starsprogram Integrating Cleanroom With Object Oriented Methods For Reliable Software Development
Download Software Technology For Adaptable Reliable Systems Starsprogram Integrating Cleanroom With Object Oriented Methods For Reliable Software Development full books in PDF, epub, and Kindle. Read online free Software Technology For Adaptable Reliable Systems Starsprogram Integrating Cleanroom With Object Oriented Methods For Reliable Software Development ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
| Author | : |
| Publisher | : |
| Total Pages | : 28 |
| Release | : 1996 |
| Genre | : |
| ISBN | : |
STARS Task IA09 was conceived to examine the potential complementary nature of the Cleanroom Engineering software and a representative set of the popular object-oriented methods being used to specify, design and develop software systems. Both methods of software development support the software concepts of abstraction, encapsulation, modularity and hierarchy. However, object-orientation as practiced over the past few years has produced mixed results, whereas Cleanroom has a significant track record of producting highly reliable systems, with extremely low after-delivery defect rates. The study was based on the assumptions that (1) object-oriented methods support domain-specific architecture-based reuse, (2) Cleanroom software development emphasizes process-driven software development, and (3) object-oriented and Cleanroom ideas are both complementary and compatible. The purpose of this paper is to (1) discuss why object-oriented and Cleanroom software engineering techniques should be integrated, (2) outline the generic process for object-oriented software development that was derived on STARS Task IAO9, and comment on relevant aspects of the mapping from the studied methods to each generic process activity, and (3) discuss the shared leveraging of Cleanroom and object-oriented techniques, and how the integration of these techniques might be leveraged to produce software of greater reliability and reusability.
| Author | : |
| Publisher | : |
| Total Pages | : 115 |
| Release | : 1996 |
| Genre | : |
| ISBN | : |
The results of object-oriented software development projects in the DoD have been disappointing relative to the promise that OO technology seems to hold. STARS Task IAO9 was commissioned to explore the feasibility of combining object-oriented methods (well known for their focus on reusability) with Cleanroom software engineering (well known for its emphasis on reliability) to define a software process capable of producing results that are not only reusable, but predictable and of high quality. A generic software process was defined in terms of phases, activities, and work products. Three OO processes (Booch, Objectory, Shlaer-Mellor) and the Cleanroom process were outlined by phases, activities, and work products as well, using a documentation baseline given by the methodologists. The three OO methods and Cleanroom were compared to the generic process for thoroughness and coverage, and an integrated process was defined.
| 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 | : William H. Ett |
| Publisher | : |
| Total Pages | : 48 |
| Release | : 1991 |
| Genre | : |
| ISBN | : |
The Cleanroom Software Process Case Study Problem describes the problem selected for evaluating software process enactment capabilities required of IBM STARS Task IS15. This document selects a portion of the process defined in The Cleanroom Engineering Software Development Process (IBM CDRL 7001-001) for use in planning the implementation of a well-defined process, in support of IBM's evaluation of the process enactment support tool, the Knowledge-based Integration Shell (KI Shell). The Cleanroom Software Process Case Study problem also provides the Host-at-Sea Buoy Problem, specified in box structure notation, for use in testing the implemented software processes. This document provides a comparison of the Cleanroom Software Process Case Study problem with the criteria established for examining process aspects, described in the paper entitled Comparisons of Software Process Descriptions, by Mark Kellner and Dieter Rombach, published in the Proceedings of the 6th International Software Process Workshop: Support for the Software Process.
| Author | : William Ett |
| Publisher | : |
| Total Pages | : 7 |
| Release | : 1991 |
| Genre | : |
| ISBN | : |
This document provides an executive summary of the Cleanroom Software Process Case Study. It can be used to understand the purpose of the case study and its relationship to other IBM STARS Software Process Case Study activities and artifacts. This Case Study was conceived of as an approach to study, in a controlled manner, the implementation of a software process model. The Case Study had two phases planned, namely: (1) The specification and implementation of the Cleanroom Engineering Process Assistant (CEPA) prototype system to support a portion of the Cleanroom Engineering Software Development Process; and (2) The validation of the CEPA prototype system through its use, by developing a well-known computer science problem, referred to as the Host-at-Sea Buoy problem specified in the Naval Research Laboratory's 1981 Software Engineering Principles Workshop handout.
| Author | : |
| Publisher | : |
| Total Pages | : 880 |
| Release | : 1994 |
| Genre | : Aeronautics |
| ISBN | : |
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
| Author | : William Ett |
| Publisher | : |
| Total Pages | : 159 |
| Release | : 1991 |
| Genre | : |
| ISBN | : |
This document provides the requirements for a process system to support the development of software using the Cleanroom Engineering Software Development Process. This document provides functional specifications (in box structure notation) for the Cleanroom Engineering Process Assistant (CEPA) prototype system and provides a concept of operations for the CEPA support of the Cleanroom Engineering Software Development Process.
| Author | : Richard H. Cobb |
| Publisher | : |
| Total Pages | : 141 |
| Release | : 1992 |
| Genre | : |
| ISBN | : |
This report presents the requirements for planning and scheduling for Cleanroom Engineering. The lessons learned/advances made as a result of the research effort include: The generic Cleanroom process model was improved. The full recognition of the fact that process definition must drive a process improvement program. A classification of all decisions necessary to support a project. A definition of planning requirements to support each type of decision. The development of an analytic method to compute expected project completion time using Markov model of project status. The recognition that the role of process managers (like CEPA, KI-Shell or Process Weaver) is to support the dispatching decision. The most effective way to support the dispatching decision is to centralize the necessary process intelligence in a process server. Full definition of the CEPA requirements to support project management and planning. Cleanroom, Software Process, Planning, Scheduling, Project Management.
| 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.
| Author | : |
| Publisher | : |
| Total Pages | : 212 |
| Release | : 1991 |
| Genre | : |
| ISBN | : |
This document describes the tools and technology examined on STARS task IS15. This report summarizes the IBM team's examination of software process representation tools and techniques. It also summarizes the examination of software process enactment tools, and techniques for implementing a process system from a well-defined system of processes such as the "Cleanroom Engineering Software Development Process". The software process definition tools and techniques sections of the document: (1) examines the feasibility of porting the Software Process Management System (SPMS) from the Apple Macintosh to the IBM STARS SEE, (2) provides a SPMS Port plan and (3) discusses the use of box structures as a notation for recording aspects of software processes. The software process enactment tools and techniques sections of the document: (1) describes the KI Shell tool selected for supporting the IBM STARS Cleanroom Software Process Case Study, (2) describes the specification, design and implementation of the Cleanroom Engineering Process Assistant prototype, and (3) provides lessons learned from performing the Cleanroom Software Process Case Study. Finally the document makes recommendations for the selection of software process definition and enactment support capabilities for the IBM STARS SEE.
