Cleanroom Software Engineering : technology and process
- Reading: Addison-Wesley, 1999
- xv, 390 p.; ill.: 24 cm.
- SEI series in software engineering .
9780201854800 hbk
Software engineering software specification Incremental Development Box Specification Satellite Control System