ProblËmes avec les mÈthodes formelles
Excellentes pour petits programmes , critiques
Plus grands programmes prouvÈs ~ 10 KSLOC
Preuves montrent la prÈsence de dÈfaults, pas líabsence
- Plus efficaces dans les spÈcifications
GÈnÈralisation ý la communautÈ des dÈveloppeurs
- Techniques demandent expertise en math , $50/SLOC
- Profil programmeur moyen aux US en 1975 :
- 2 ans de college, experience en logiciel
- Familier avec 2 langages, applications
- DÈsordonnÈ, rigide, ìtout dans la tÍteî, et difficile ý gÈrer
- En France: mieux ( un peu) moins nombreux ( beaucoup)