| Méthodologie
: Formalisation, résolution
et interprétation |
| formalisation |
|
|
|
| Pb
concret |
||
| froid ? chaud ? |
||
|
|
|
| Pb
formel |
||
| température? |
||
| traitement |
| interprétation |
|
|
|
| solution |
||
| concrète |
||
|
|
|
| solution |
||
| formelle |
||