  | |
Many spend their time berating practitioners for not applying their method. We all need to disseminate our ideas, but most of our time should be spent applying and improving our methods, not selling them. The best way to sell a mouse trap is to display some trapped mice. - David Parnas, in IEEE Computer April 1996 describing a possible reason why formal methods are not used more often in software practice
|
|
