Perspectives
Processus de raisonnement
Gestion des paramètres
- « Lois de contrôles » pour paramètres
Validation
- partie algorithmique (?analyse statique)
- contraintes temporelles
Applications plus complexes à traiter
- « Mamy-sitter » au complet
- Bureau intelligent?