burkhart.wolff

Cours:

.

• C1 - 3.2, 11:15 - 13:00, [336-112]: Welcome, Intro, Java-Reminder, and Details on Dynamic Typing
• C2 - 10.2, 11:15 - 13:00, [336-112]: Inheritance, Overriding and Overloading
• C3 - 17.2, 11:15 - 13:00, [336-112]: Exceptions
• C4 - 24.2, 11:15 - 13:00, [336-112]: Generics in OO Languages (F.Voisin)
• C5 - 9.3, 11:15 - 13:00, [336-112]: Design-Patterns, Introduction GL
• C6 - 23.3, 11:15 - 13:00, [336-112] Components of UML Using UML in Analysis
• C7 - 30.3, 11:15 - 13:00, [336-112] Using UML in Design
• C8 - 6.4, 11:15 - 13:00, [336-112]: Introduction to Testing
• C9 - 13.4., 11:15 - 13:00, [336-112]

Partiel: 16.3.2012 9:00 - 11:00(<<11:40), Bat 336, no 173-212
Examen: 25.5.2012 9:00 - 11:00, lieu 336
Examen(2ieme): 25.6.2012 14:00 - 16:00, lieu 336, no 73 a 92

Groups GR1 and GR2 in parallel:

• TD1 - 6.2, 15-45-18:00, [GR1 111, GR2 106]: 1
• TD2 - 13.2, 15-45-18:00, [GR1 111, GR2 106]: 2
• TD3 - 20.2, 15-45-18:00, [GR1 111, GR2 106]: 3
• TD4 - 5.3, 15-45-18:00, [GR1 111, GR2 106]: 4
• TD5 - 12.3, 15-45-18:00, [GR1 111, GR2 106]: (repetition)
• TD6 - 19.3, 15-45-18:00, [GR1 111, GR2 106]: 6
• TD7 - 26.3, 15-45-18:00, [GR1 111, GR2 106]: 7
• TD8 - 2.4, 15-45-18:00, [GR1 111, GR2 106]: 8
• TD9 - 30.4, 15-45-18:00, [GR1 111, GR2 106]: 10
• TD10 - 7.5, 15-45-18:00, [GR1 111, GR2 106]: 10

TP (GR1 8:45-11:15[315], GR2 8:30-11:00 [315], GR3 8:30-11:00 [320]):

• TP1 : 6/7.2: TP 1
• TP2 : 20/21.2: TP 2
• TP3 : 19/20.3:
• TP4 : 2/3.4:
• TP5 : 30.5 (cata!):

Bibliography:

• [1] The OMG Formal Foundation Page
• [2] Getting Started with UML
• [3] OMG UML2.0 OCL specification
• [4] For an Overview: The NASA Formal Methods Page
• [5] Machine-checked Semantics of UML/OCL
• [6] Black-Box-Test in UML/OCL
• [7] Animation of OCL Contracts
• [8] Subtle issues on OCL Semantics with null