pH: ma mère me fait marrer
pH: “c’était un cours de quoi ?”
pH: – tu vas pas comprendre l’intitulé.
pH: “mais si mais dis quand même !”
pH: – Specification formelle de protocole.
pH: “ah”
Neals: ouned
pH: ma mère me fait marrer
pH: “c’était un cours de quoi ?”
pH: – tu vas pas comprendre l’intitulé.
pH: “mais si mais dis quand même !”
pH: – Specification formelle de protocole.
pH: “ah”
Neals: ouned
C’est un cours pour apprendre à spécifier formellement un protocole… rien de bien sorcier.
C’est un cours visant à bien comprendre et cerner un problème en informatique avant d’en écrire la réponse. Voila. Maman contente.
Dans cette histoire, on sens que pH n’est pas neutre.
C’est la base…
Acide ce ph.
pH : Quand on maîtrise pas la base, c’est sûr, ça pique.
Perso, j’aurais juste répondu “quand même !”.
ah
“…Et ça parle de quoi ?”
Ah les mamans…
C’est pas faux.
“Tu veux parler des trois modèles sur lesquels reposent les techniques de description formelle des protocoles comme les automates d’états finis, les réseaux de Pétri ou encore l’ordonnancement temporel ?
En fait tu as deux langages normalisés qui sont Estelle et Lotos, Estelle utilisant les automates et Lotos l’ordonnancement temporel. Ces langages de description de protocoles ont été développés par l’ISO. Ils possèdent tous les deux une sémantique et une syntaxe formelle.
Je pourrais aussi te parler de la partie ou d’une part je te présenterais une approche d’évaluation de ces deux langages, et d’autre part à approfondir les comparaisons par un choix de critères plus sélectifs, enfin si tu veux mon chéri ?”
– ha
“ouned, mon chéri”
Je suis le seul a avoir lu proctologue?
j’ai lue spécification formelle de proctologue !!
j’ai cru qui avais un cour que les phrase d’accroche, genre :
bonjour je doigte bien ne vous inquiété pas.Jje suis un expert depuis la découverte de l’anus.
tout en vous mettant le doigt sous le nez ^^
Du coup j’ai l’impression d’être sa mère…
Et c’est un cour ça ?
…Ouais c’est pas faux.
Oui effectivement…”ah”.