Et puis ce qu'il faut voir c'est que la plupart des méthode formelles ne sont jamais sortie des labo de recherches.
Et il en existe un sacré paquet pourtant des méthodes ...
alors je considere ca normal d'utiliser tjrs cet exemple et d'en être fier surtout que c'est une étape fondamentale dans l'histoire du B.
Et celui ci a évolué depuis. On est passé au B événementiel et une nouvelle version des outils est en préparation http://rodin-b-sharp.sourceforge.net/ en plus cela sera libre.
[^] # Re: qques questions sur Lissac et... Ruby, Java, Caml...
Posté par Joris R (site web personnel, Mastodon) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 1.
Et il en existe un sacré paquet pourtant des méthodes ...
alors je considere ca normal d'utiliser tjrs cet exemple et d'en être fier surtout que c'est une étape fondamentale dans l'histoire du B.
Et celui ci a évolué depuis. On est passé au B événementiel et une nouvelle version des outils est en préparation http://rodin-b-sharp.sourceforge.net/ en plus cela sera libre.