1970ís ThËse
Methodes StructurÈes
- Structured programming (Boehm-Jacopini: GO TO unnecessary)
- Formal programming calculus: Dijkstra, Hoare, Floyd
- Analyse descendante Mills, Baker
Waterfall Methods
- ìCode and fixì trop onÈreux (100:1 for large systems)Ö.il faut
- ìConcevoir avant de programmerî (De Marco SD, Jackson JSD/JSP)
- ìSpÈcifier avant de concevoirî (PSL/PSA, SA, SREM)
- dire le ìquoiî díabord et le vÈrifier avant díaller plus loin
Algorithmique et structures de donnÈes