Mathematical Principles for a First Course in Software Engineering
IEEE Transactions on Software Engineering
Work structures and shifts: an empirical analysis of software specification teamwork
ICSE '89 Proceedings of the 11th international conference on Software engineering
Software development: state of the art vs. state of the practice
ICSE '89 Proceedings of the 11th international conference on Software engineering
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Experimental comparison of three system test strategies preliminary report
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Recent advances in software measurement (abstract and references for talk)
ICSE '90 Proceedings of the 12th international conference on Software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
An improved inspection technique
Communications of the ACM
Software quality: an overview from the perspective of total quality management
IBM Systems Journal
Software Process Evolution at the SEL
IEEE Software
Optimal Test Distributions for Software Failure Cost Estimation
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
Quality patterns—an approach to packaging software engineering experience
Proceedings of the 1997 symposium on Software reusability
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Functional programming, and where you can put it
ACM SIGPLAN Notices
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Design Measurement: Some Lessons Learned
IEEE Software
Engineering Software Under Statistical Quality Control
IEEE Software
Tailoring Cleanroom for Industrial Use
IEEE Software
On some reliability estimation problems in random and partition testing
IEEE Transactions on Software Engineering
Verifying Definite Iteration Over Data Structures
IEEE Transactions on Software Engineering
Formalizing Software Engineering Standards
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
An empirical evaluation of the G/Q/M method
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
The role of controlled experiments in software engineering research
Proceedings of the 2006 international conference on Empirical software engineering issues: critical assessment and future directions
| Hi-index | 0.02 |
The Cleanroom software development approach is intended to produce highly reliable software by integrating formal methods for specification and design, nonexecution-based program development, and statistically based independent testing. In an empirical study, 15 three-person teams developed versions of the same software system (800-2300 source lines); ten teams applied Cleanroom, while five applied a more traditional approach. This analysis characterizes the effect of Cleanroom on the delivered product, the software development process, and the developers.