Première utilisation de Spin
Un TP sur le dîner des philosophes.
CVFP 2013
CVFP 2013
CVFP 2013
Lien
Cacher
Montrer
Cacher tout
Montrer tout
Ligilo
Malafiŝi
Afiŝi
Malafiŝi ĉion
Afiŝi ĉion
Link
Hide
Show
Hide All
Show All
Un TP sur le dîner des philosophes.
Superrigardata laboro pri manĝantaj filosofiistoj
A tutorial about dinning philosophers.
Un premier cas d’utilisation de Coq pour des programmes très simples.
Unua uzo de Coq en simplegaj programaĵoj.
A first usage of Coq on very simple programs.
Les étudiants doivent faire deviner des phrases à l’aide de diagrammes UML (diagrammes de cas d’utilisations, diagrammes de classes, ou diagrammes de séquence).
Studentoj devas desegne divenigi frazojn per UML-diagramoj (uzdiagramoj, klasdiagramoj, aŭ interagdiagramoj).
Students have to draw and guess sentences using only ULM diagrams (behaviour diagrams, structure diagrams, or interaction diagrams).