Vous avez terminé ce module.
Se comprendre autour d'un système d'information
Résumé et prise de conscience
Utiliser un langage formel pour communiquer ses idées !
Survol de la méthode de spécification formelle « NIAM ».
Modèles Statique, dynamique et fonctionnel.