Grace à des jolis dessins ou des belles équations mathématiques, tu définis tous les chemins probables que peut suivre ton projet/application.
Une des plus connues à mon avis, c'est les Réseaux de Pétri.
En cours, on a eu aussi l'occasion de jetter un coup d'oeil sur le language formel LOTOS. En clair, c'est puissant, mais c'est super complexe àà mettre en oeuvre :
En Clair, tu crées une sorte d'arborescence, et tu définis à chaque étape, l'ensemble des évènements qui peuvent arriver. Autant dire que ca croit très vite et ca devient assez galère.
Pour simuler des trucs tout simples (codables en 1 ou 2 lignes ds un langage quelconque), il nous fallait 1 page entière d'explications...
[^] # Re: question: -> Methodes Formelles
Posté par ceituna . En réponse à la dépêche Vers des logiciels plus sûrs ?. Évalué à 4.
Grace à des jolis dessins ou des belles équations mathématiques, tu définis tous les chemins probables que peut suivre ton projet/application.
Une des plus connues à mon avis, c'est les Réseaux de Pétri.
En cours, on a eu aussi l'occasion de jetter un coup d'oeil sur le language formel LOTOS. En clair, c'est puissant, mais c'est super complexe àà mettre en oeuvre :
En Clair, tu crées une sorte d'arborescence, et tu définis à chaque étape, l'ensemble des évènements qui peuvent arriver. Autant dire que ca croit très vite et ca devient assez galère.
Pour simuler des trucs tout simples (codables en 1 ou 2 lignes ds un langage quelconque), il nous fallait 1 page entière d'explications...