L3 - Course: Advanced Software Engineering
("Génie Logiciel Avancé")
Cours:
- C1 - 10.9, 9:00 - 10:30, Grand Amphi (Hybride):
Part I : Introduction to Software Engineering, Part I : Questionaire,Part II : UML Rerview, Part II : Questionaire.
- C2 - 17.9, 9:00 - 10:30 :
More on UML: Advanced Concepts ,
Part II (cont) : Questionaire ,
MOAL Introduction Part III : Questionaire .
- C3 - 24.9, 9:00 - 10:30 :
MOAL Contracts, Scenarios
Part III : Questionaire,
Version and Configuration Management in SE< Part IV : Questionaire,
- C4 - 1.10, 9:00 - 10:30 :
Test I (Generalities, Dynamic Unit Test),
Questionnaire
- C5 - 11.10, 9:00 - 10:30 : Testgeneration for Functional (Black-box) Test
- C6 - 18.10, 9:00 - 10:30 :Testgeneration for Structural Tests
- C7 - 5.11, 9:00 - 10:30 : Structural Tests
Structural Fuzz-Tests
- C8 - 12.11, 8:30 - 10:00 : Deductive Verification I
- C9 - 19.11, 9:00 - 10:30 : Deductive Verification II
- C10 - 26.11, 9:00 - 10:30 : Deductive Verification III
- C11 - 4.12, 9:00 - 10:30 : Legal Constraints and Standards
Examen GLA : 17/12 8h30-11h30 + 1/3 temps , bât 333 Amphis H3 + H4 Exam 2.sess.: TO BE ANNOUNCED
TD:'s / TP's
Classes TD
- Info G3: Tous les jeudis 13:30-15:30 D101
- Miage G4: Tous les jeudis 10:45-12:45 D101
- Info G1: Tous les lundis 10:45-12:45 D203
- Info G2: Tous les lundis 14:00-16:00 D204
TD:'s / TP's
- TD1 : 15.9: Modeling in UML and MOAL invariants
- TD2 : 22.9: Modeling in UML and MOAL with contracts , Partial Solution to TD1 and TD2
- TD3 : 29.10: Test Scenarios and informal Test Methods Partial Solution to TD3
- TD4 : 12.10: Test Fonctionel Partial Solution to TD4
- TD5 : 19.10: Test boite noire et conception
- TD/TP1 : 17.11. White-box Test: PathCrawler
- PARTIEL : 25.10: PARTIEL
- TD6 : 10.11: Test structurel (1) Partial Solution to TD6
- TD7 : 24.11: Test structurel (2) Test structurel (2) Partial Solution to TD7
- TD8 : 1.12: Deductive Verification(1), Partial Solution to TD8
- TD9 : 8.12: Deductive Verification(2), Deductive Verification(3) Partial Solution to TD9
- TD/TP : 10.12: Deductive Verification
- EXAMEN : 17.12 9-11h, Bat 333 H3 et H4