Cleanroom Software Engineering

@article{Mills1987CleanroomSE,
  title={Cleanroom Software Engineering},
  author={Harlan D. Mills and Michael G. Dyer and Richard C. Linger},
  journal={IEEE Software},
  year={1987},
  volume={4},
  pages={19-25}
}
Software quality can be engineered under statistical quality control and delivered with better quality. The Cleanroom process gives management an engineering approach to release reliable products. 
Engineering software under statistical quality control
TLDR
The concept of cleanroom engineering of software, which achieves intellectual control by applying rigorous, mathematics-based engineering practices, establishes an errors-are-unacceptable attitude and a team responsibility for quality, delegates development and testing responsibilities to separate teams, is introduced. Expand
Achieving software quality through Cleanroom software engineering
  • R. Linger, A. Hevner
  • Computer Science
  • [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences
  • 1993
TLDR
The authors survey a number of Cleanroom projects and demonstrate achievement of the following objectives: superior quality throughcleanroom software development; successful, cost-effective Cleanroom technology transfer to software development teams; and sharp reduction in effort to maintain and evolve Cleanroom software products. Expand
Software Quality Improvement- Cleanroom Approach and Implementation
Quality of a software product is required to be improve or maintain with improvement in process and product standards and with certified reliability, which is an important aspect of every qualityExpand
An Effective Model of Effort Estimation for Cleanroom Software Development Approach
TLDR
The integration of mathematical modelling, proof of correctness and statistical software quality is studied in computer science. Expand
Where Software Engineering Meets
Because software engineering is a relatively young field, research in the discipline benefits from the domain knowledge and wisdom accumulated outside its specific realm.
On Test Design
Testing is the dominating method for quality assurance of industrial software. Despite its importance and the vast amount of resources invested, there are surprisingly limited efforts spent on testExpand
Cleanroom software engineering for zero-defect software
TLDR
The cleanroom process is being successfully applied in IBM and other applications and quality results from several cleanroom projects are summarized. Expand
Software Quality and Management: How the World's Most Powerful Software Makers do it
  • Dien D. Phan
  • Engineering, Computer Science
  • Inf. Syst. Manag.
  • 2001
TLDR
This article looks at software development practices at the two largest producers of software, IBM and Microsoft, and compares them against the Software Engineering Institute's Capability Maturity Model (CMM), concluding that rigorous quality controls and the CMM's basic premise for reaching higher maturity are still the best ways to produce quality software. Expand
A case study in cleanroom software engineering: the IBM COBOL Structuring Facility
  • R. Linger, H. Mills
  • Computer Science
  • Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference
  • 1988
TLDR
The formal methods of specification, design, functional verification, and testing are described, together with development and management practices required for maintaining intellectual control over the process. Expand
CLEANROOM SOFTWARE ENGINEERING: A NEW PARADIGM FOR SOFTWARE DEVELOPMENT
leanRoom Software engineering is a theory based, team oriented discipline intended to create software with high level of reliability and under high statistical quality control. By using formalExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 15 REFERENCES
Cleanroom Software Development: An Empirical Evaluation
TLDR
This analysis characterizes the effect of Cleanroom on the delivered product, the software development process, and the developers. Expand
Quality programming: Developing and testing software with statistical quality control
TLDR
This chapter discusses Sampling Techniques and Statistical Inference, and important Statistical Distributions for Software Quality Control, as well as Software Testing, Integration, Verification, Validation, and Debugging. Expand
Certifying the reliability of software
TLDR
A description is given of a procedure for certifying the reliability of software before its release to users, which includes a life cycle of executable product increments, representative statistical testing, and a standard estimate of the MTTF of the product at the time of its release. Expand
Optimizing Preventive Service of Software Products
  • E. N. Adams
  • Engineering, Computer Science
  • IBM J. Res. Dev.
  • 1984
TLDR
It is found that most of the benefit to be realized by preventive service comes from removing a relatively small number of high-rate defects that are found early in the service life of the code. Expand
Structured Programming: Retrospect and Prospect
  • H. Mills
  • Computer Science
  • IEEE Software
  • 1986
Structured programming has changed how programs are written since its introduction two decades ago. However, it still has a lot of potential for more change.
Structured Programming
Structured Programming.By O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare. Pp. viii + 220. (Academic: New York and London, October 1972.) £4.20; $12.50.
Structured programming - theory and practice
TLDR
There is an algebra of structured programs that allows any structured program, no matter how large, to be considered as a compound 5.2. Expand
Cleanroom Software Engineering IEEE Software
  • Cleanroom Software Engineering IEEE Software
  • 1987
Cleanroom Software Engineering," IEEE Software, vol
  • 4, no. 5, pp. 19-25, Sept.
  • 1987
Cobol Structuring Facility Users Guide, IBM Corp. Armonk, N.Y
  • Cobol Structuring Facility Users Guide, IBM Corp. Armonk, N.Y
  • 1986
...
1
2
...