burkhart.wolff

Cours:

.

• C1 - 28.1, 11:15 - 13:00, [336-109]: Welcome, Intro, Java-Reminder, and Details on Dynamic Typing
• C2 - 4.2, 11:15 - 13:00, [336-109]: Inheritance, Overriding and Overloading
• C3 - 11.2, 11:15 - 13:00, [336-109]: Exceptions
• C4 - 18.2, 11:15 - 13:00, [336-109]: Generics in OO Languages (F.Voisin)
• C5 - 4.3, 11:15 - 13:00, [336-109]: Design-Patterns, Introduction GL (UML I - III)
• C6 - 11.3, 11:15 - 13:00, [336-109]
• C7 - 25.3, 11:15 - 13:00, [336-109]
• C8 - 1.4, 11:15 - 13:00, [336-109]: UML Conception , Introduction OCL
• C9 - 8.4., 11:15 - 13:00, [336-109]

Partiel: 15.3.2011 9:00 - 11:00, Bat 336, no 7 - 14, 22 - 78. Examen: 23.5.2011 9:00 - 11:00, Bat 336, ??? Examen(2ieme session): 21.6.2011 9:00 - 11:00, Bat 337, 676-705

TD:

• TD1 - 31.1, 15-45-18:00, [GR1 219, GR2 301]: 1
• TD2 - 7.2, 15-45-18:00, [GR1 219, GR2 301]: 2
• TD3 - 14.2, 15-45-18:00, [GR1 219, GR2 301]: 3
• TD4 - 28.2, 15-45-18:00, [GR1 219, GR2 301]: 4
• TD5 - 7.3, 15-45-18:00, [GR1 219, GR2 301]: (repetition)
• TD6 - 21.3, 15-45-18:00, [GR1 219, GR2 301]: 6
• TD7 - 28.3, 15-45-18:00, [GR1 219, GR2 301]: 7
• TD8 - 4.4, 15-45-18:00, [GR1 219, GR2 301]: 8
• TD10 - 9.5, 15-45-18:00, [GR1 219, GR2 301]: 10

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

• TP1 : 7/8.2: TP 1
• TP2 : 7/8.3: TP 2
• TP3 : 21/22.3:
• TP4 : 4/5.4:
• TP5 : 2/3.5:

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