Certifying the reliability of software
IEEE Transactions on Software Engineering
Principles of information systems analysis and design
Principles of information systems analysis and design
The cleanroom approach to quality software development
The cleanroom approach to quality software development
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Engineering Software Under Statistical Quality Control
IEEE Software
Box-structured methods for systems development with objects
IBM Systems Journal
A reliability model combining representative and directed testing
Proceedings of the 18th international conference on Software engineering
ACM Computing Surveys (CSUR)
Testing: principles and practice
ACM Computing Surveys (CSUR)
ACM SIGSOFT Software Engineering Notes
An experiment in estimating reliability growth under both representative and directed testing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
An incremental project plan: introducing cleanroom method and object-oriented development method
Proceedings of the 20th international conference on Software engineering
Metrics in the software engineering curriculum
Annals of Software Engineering - Special issue on software engineering education
Dealing with nonfunctional requirements in large software systems
Annals of Software Engineering
Tools for producing formal specifications: a view of current architectures and future directions
Annals of Software Engineering
Modeling reliability growth during non-representative
Annals of Software Engineering
Quality technique transfer: Manufacturing and software
Annals of Software Engineering
Making Software Development Visible
IEEE Software
Tailoring Cleanroom for Industrial Use
IEEE Software
An Experimental Comparison of Usage-Based and Checklist-Based Reading
IEEE Transactions on Software Engineering
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
Proceedings of the 2nd annual conference on Mid-south college computing
Towards a structured unified process for software security
Proceedings of the 2006 international workshop on Software engineering for secure systems
Information modeling: the process and the required competencies of its participants
Data & Knowledge Engineering - Special issue: Application of natural language to information systems (NLDB04)
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Towards quantitative software reliability assessment in incremental development processes
Proceedings of the 33rd International Conference on Software Engineering
A Use Case Interpretation of B AMN
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
A layer-based method for rapid software development
Computers & Mathematics with Applications
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Cleanroom software engineering is a team-oriented process that makes development more manageable and predictable because it is done under statistical quality control. The philosophy behind cleanroom software engineering is to avoid dependence on costly defect-removal processes by writing code increments right the first time and verifying their correctness before testing. Its process model incorporates the statistical quality certification of code increments as they accumulate into a system.