INF3140: Laboratoires et exercices
Note
Note : Les solutions des labos et exercices sont disponibles à l'URL suivant.
Exercices #9 : Types String et Map de Java en OCL (14/12)
Exercices #8 : Types abstraits en OCL (7/12)
Labo 3/Exercices #7 : Contrats en OCL (30/11)
Labo 2/Exercices #6 : Fonctions Java avec la bibliothèque
OclCollections (16/11)
Exercices #5 : Expressions régulières et automates
(?/11)
Labo #1: Les éléments pour le labo
(01/10)
Exercices #4 : Spécification de requêtes et de
contraintes (28/09)
Exercices #3 : Modélisation conceptuelle (24/09)
Exercices #2 : Opérations sur les collections (17-21/09)
Exercice #1 : Quantificateurs sur des ensembles de String
(14/09)