Ó 2002 Prentice Hall                                                                     2
The State of Systems Development: Software Solutions
*Programming techniques
w
*Programming environments
w
*Program verification
w
*Clean-room programming
w
*Human management