Managing Software Development for Survivable Systems
Annals of Software Engineering
Producing reliable software: an experiment
Journal of Systems and Software
Survivable Network System Analysis: A Case Study
IEEE Software
The 1998 Lincoln Laboratory IDS Evaluation
RAID '00 Proceedings of the Third International Workshop on Recent Advances in Intrusion Detection
UML-Based Statistical Test Case Generation
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
What we can learn from extreme programming
Journal of Computing Sciences in Colleges
Foundations of Sequence-Based Software Specification
IEEE Transactions on Software Engineering
Model Based Testing in Evolutionary Software Development
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Active learning for automatic classification of software behavior
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Model based testing in incremental system development
Journal of Systems and Software - Special issue: Rapid system prototyping
Processes for Producing Secure Software: Summary of US National Cybersecurity Summit Subgroup Report
IEEE Security and Privacy
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Combining the Box Structure Development Method and CSP
Proceedings of the 19th IEEE international conference on Automated software engineering
Computing system reliability using Markov chain usage models
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Proceedings of the 2nd annual conference on Mid-south college computing
Teaching cleanroom software engineering with object-oriented data abstraction
Journal of Computing Sciences in Colleges
To use or not to use the goto statement: programming styles viewed from Hoare logic
Science of Computer Programming
From Requirements to Statistical Testing of Embedded Systems
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Sequence-based specification of feedback control systems in Simulink®
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Introducing function extraction into software testing
ACM SIGMIS Database
Modeling Agent-Environment Interactions in Adaptive MAS
Engineering Environment-Mediated Multi-Agent Systems
A formal language and analysis tool for black box specifications
Journal of Computing Sciences in Colleges
The impact of requirements changes on specifications and state machines
Software—Practice & Experience
Computing the behavior of malicious code with function extraction technology
Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies
Using partial models to support the testing of distributed systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
An axiom system for sequence-based specification
Theoretical Computer Science
Combining the Box Structure Development Method and CSP for Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Software Technology
International Journal of Security and Networks
Test case generation for the task tree type of architecture
Information and Software Technology
Towards verification-based development of in-vehicle safety critical software: a case study
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Computing the behavior of malware
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Using attack and protection trees to analyze threats and defenses to homeland security
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Testing techniques in software engineering
Testing techniques in software engineering
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavior computation for smart grid software analysis
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
Execution of natural language requirements using State Machines synthesised from Behavior Trees
Journal of Systems and Software
A layer-based method for rapid software development
Computers & Mathematics with Applications
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain
International Journal of Embedded and Real-Time Communication Systems
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Proceedings of the Eighth Annual Cyber Security and Information Intelligence Research Workshop
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards recognizing and rewarding efficient developer work patterns
Proceedings of the 2013 International Conference on Software Engineering
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
Hi-index | 0.00 |
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.