Michael Dyer

The cleanroom approach to quality software development