INF3140: Matériel à imprimer

Conception et programmation par contrats en Java et en Eiffel

• Les notes de cours (Fichier PDF)

Assertions et tests

• Les notes de cours (Fichier pdf)

Expressions régulières et automates

• Les notes de cours (Fichier pdf)
• Fichier pour le programme Grep.java
• Fichier pour le programme Occurrences.java
• Fichier pour le programme Regex.java

OCL (Object Constraint Language)

• Les notes de cours (Fichier pdf: 1 page par feuille)
• OU
• Les notes de cours (Fichier pdf: 2 pages par feuille)

Introduction aux méthodes formelles

• Les notes de cours (Fichier pdf)