burkhart.wolff

All courses will take place at Petit Amphi , Bat. PUIO, 8:45-10:30 (see exceptions in List below).

Cours

• C1 6.1. 8:45-10:30 [BW]: Intro and Analysis
• C2 6.1. 15:45-17:30 [BW]: Analysis I
• C3 13.1. [BW]: Intro, Analysis I, Analysis II
• 20.1. Switched against DB
• C4 27.1. [BW] (8:45-10:30) : [BW] (at 9:45-10:30): Introduction to OCL,
  C5 [BW] (10:45-12:30) Conception
• C6 3.2. [BW]: State Machines, Testing: Intro & Black-Box Tests
• C7 10.2. [BW]: Testing: Dynamic and Static Black-Box Tests
• 17.2. : Partiel (at 9:00-12:00) : Bat 337, Salle 3, places 721 - 790
• C8 24.2. [BW]: Testing: Static White-Box Tests
• C9 10.3. [BW]: Verification by Proof
• C10 17.3. [BW]: cont.
  
  

The exam will take place: [building 337 salle 3 (places 901 to 975)] from 9 - 12 on Wed. 14.4.2010.

TD

• Exercise 1
• Exercise 2
• Exercise 3
• Exercise 4
• Exercise 5
• Exercise 6
• Exercise 7
• Exercise 8
• Exercise 9
• Exercise 10

The TD will start in the week of 12.1.

Bibliography:

• [1]: