-
Cleanroom Software Engineering: Technology and Process
Author Jesse H. Poore , Richard C. Linger , Carmen J. Trammell , Stacy J. Prowell
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 stat....
Release Date 1999/03