- de substituer des automates à des êtres conscients qui deviennent superflus ;
- de faire servir ces automates par des êtres conscients ;
- de transformer à la longue ces derniers en automates."
cité par Stella Baruk, Echec et maths, Seuil
Messages échangés entre l'enseignant et les étudiants du module, Spécifications 1 du département informatique de l'IUT de Nantes (Université de Nantes) Ce module s'appuie principalement sur la notation et la méthode de spécification formelle B. (The B formal method)
Aucun commentaire:
Enregistrer un commentaire