Certifying the reliability of software
IEEE Transactions on Software Engineering
Box structured information systems
IBM Systems Journal
Principles of information systems analysis and design
Principles of information systems analysis and design
ACM Transactions on Software Engineering and Methodology (TOSEM)
The cleanroom approach to quality software development
The cleanroom approach to quality software development
A group process for defining local software quality: field applications and validation experiments
Software—Practice & Experience
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Cleanroom software engineering for zero-defect software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software Engineering Economics
Software Engineering Economics
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
Planning and Certifying Software System Reliability
IEEE Software
The IBM Cleanroom Software Engineering Technology Transfer Program
Proceedings of the SEI Conference on Software Engineering Education
Box-structured methods for systems development with objects
IBM Systems Journal
Cleanroom Software Engineering
IEEE Software
Software quality: an overview from the perspective of total quality management
IBM Systems Journal
IEEE Software
Implementing cleanroom software engineering into a mature CMM-based software organization
ICSE '97 Proceedings of the 19th international conference on Software engineering
Crossroads - Special issue on human computer interaction
Lessons from Using Z to Specify a Software Tool
IEEE Transactions on Software Engineering
Tailoring Cleanroom for Industrial Use
IEEE Software
The software testing challenges and methods
ICCOM'05 Proceedings of the 9th WSEAS International Conference on Communications
An Introduction to Software Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based analysis and development of dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
The use of modeling & simulation-based analysis & optimization of software testing
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Towards quantitative software reliability assessment in incremental development processes
Proceedings of the 33rd International Conference on Software Engineering
Silver Pellets for Improving Software Quality
Information Resources Management Journal
| Hi-index | 0.00 |