L3 - Course: Advanced Software Engineering
("Génie Logiciel Avancé")
Cours:
.
- C1 - 21.9, 10:15 - 12:00, Petit Amphi : Overview, UML Introduction OCL Introduction
- C2 - 28.9, 10:15 - 12:00 : Elements of OCL
- C3 - 5.10, 10:15 - 12:00 : Test I (Generalities, Dynamic Unit Test)
- C4 - 19.10, 10:15 - 12:00 : Static Unit Test, Black Box Test
- C5 - 16.11, 10:15 - 12:00 : White Box Test
- C6 - 23.11, 10:15 - 12:00 : Verification(Generalities)
- C7 - 30.11, 10:15 - 12:00 : Verification(Fin)
Final exam: 14.12.2011 bat 337 salle 3 (places 653 a 747)
TD:'s / TP's
Classes on Tuesday, Thursday and Friday.
- TD1 : Week 26.9: Modelling in UML/OCL
- TP : Week 10.10: Unitary Test with JUnit
- TD2 : Week 7.11:Specification-based Black-Box tests
- TD3 : Week 21.11:White-box Tests
- TD4 : Week 5.12:Verification via Hoare-Logic