ILes methodes formelles : application a Z ILes methodes a objets : du formel avec OCL 2.Master MIAGe M2 Nantes (Parcours IRSI) IB (BTool) IAlgebres de processus (LOTOS) Vers un usage rationnel
Quelques exemples de formules d’enseignement et de stratégies pédagogiques actives sont présentées dans ce tableau. La résolution de problèmes en situation authentique dans l’exercice de la discipline. Les étudiant·es cherchent à atteindre un but commun en petit groupe. On vise l’interdépendance dans l’équipe et entre les groupes.
Des modèles de formation sont disponibles dans différents formats, notamment un cours standard chronologique, un cours de scénario, un cours d’entreprise classique et un cours de graphisme, pour en nommer quelques-uns. L’utilisation d’un modèle de formation n’a jamais été aussi facile. Sélectionnez simplement votre texte et commencez la frappe.
des procédés formels – animations et mouvements dans les bannières créés par des changements formels (par exemple, transformation de logo), des gifs animés, des défilements de textes, des clignotements, des contrastes mouvement/fixe, des contrastes de couleurs ;