Passer au contenu principal
UFRIM²AG : Moodle
Français (fr)
English (en)
Français (fr)
Vous êtes connecté anonymement (
Connexion
)
Week 10 & 11: formal approaches of Software Engineering
Accueil
Cours
UGA
UFRIM²AG
Master Informatique
Parcours MOSIG
M1 MOSIG
Semestre 1
SE
Week 10 & 11: formal approaches of Software En...
Résumé de section
◄
Week 9: Test
►
Previous Exam - Part 1
Sélectionner l’activité Week 10
Week 10
Fichier
Sélectionner l’activité Lesson week 11
Lesson week 11
Fichier
Sélectionner l’activité Exercise B method
Exercise B method
Fichier
Sélectionner l’activité Exercise Automata based verification
Exercise Automata based verification
Fichier
Sélectionner l’activité Previous Exam part II - Formal methods
Previous Exam part II - Formal methods
Fichier
Sélectionner l’activité Previous exam, part II, correction
Previous exam, part II, correction
Fichier
◄
Week 9: Test
Aller à…
Page d’accueil du cours
Generality
Week 1: Software Engineering, process and requirement engineering
Week 2: Requirement engineering (bis)
Week 3 - 4 : UML - Use cases, state diagrams and sequence diagrams
Week 5 to 6 : UML Class diagrams and object diagrams
Week 7 : Mid-term Exam
Week 8: Software architecture
Week 9: Test
Week 10 & 11: formal approaches of Software Engineering
Previous Exam - Part 1
►
Previous Exam - Part 1