Partie 1 (Modélisation avec les Automates)

• CM 1 :  Les automates à états finis
  
• CM 2 : Généralités / Modélisation des logiciels
  

Partie 2 (Construction de logiciel avec la Méthode B)

• CM 3 : Introduction Méthode B
  
• CM4 : Méthode B - Raffinement - Implémentation
  
  

• IEEE Swebok (Software Design, Software Construction - Software Engineering Models and Methods, ...)
• Software Engineering - Springer (Bjorner)
• umple.org

• Diapos+audio Construction de log.

Partie 1 : Méthodes de construction des logiciels

• Chap. 1 Méthodes de Construction de logiciels I
  
  • Diapos Construction de log.
• Chap. 2  Méthodes de construction de logiciels II
  
  • Diapos Construction de log.
    

• Chap. 3 Modélisation avec les Automates
  
  • Diapos Automates
    
  • Diapos+audio

• TD1 Modèles à états et programmation - cahier d'exos
  Modélisation à l'aides des automates à états - programmation à partir des automates
  -> un petit mémo Java
  -> une bibliothèque pour les automates FSM
  -> une bibliothèque pour les automates de MEALY (complet)
  
  -> accès à d'autres Ressources  (automate simple)
  

• 
  

• Dessiner des automates en ligne [madebyevan]
  
• une autre version++ [madebyevan+]
• draw.io
• Format dot 
  
• 
  

Partie 2 : Méthode B : construction des applications logicielles

• Chap. 4 Modélisation avec  Méthode B
  
  • Méthode B Diapos2x1.pdf (cours complet)
    
  • Generalites (partie 1)
    
  • Lngage B donnée+Opérations
    
  • Méthode B - Machines Obligations de Preuve
    
  
  
• Chap. 5  Méthode B - Raffinement
  
  • Raffinement Diapos2x1.pdf

• ...
  

• TD2 - Méthode B
  1)  cahier1 d'exercices 1
  (avec Atelier B)
  
  2)  Fiche Introduction à AtelierB (prise en main)
  
  3) Fiche - guide environnement TP (Atelier B)
  
  Mémento de construction logicielle en B (exos corrigés)
  
  Petit mémo langage B (1page)
  
  
• Application complète Dictionnaire (de A-Z)
  

• TD3 - cahier2-Famille musiciens (avec Atelier B)
  
  
• TD4 - Méthode B - cahier 3     
  

• The B Book, JR Abrial, 1996
  
• Modeling in Event-B: System and Software Engineering (J-R. ABrial, 2010, Cambridge U Press)
• I. Sommerville, Software Engineering, Addison-Wesley, 2011
• Télécharger AtelierB (ClearSy)

• Generalites Intro1 Diapos+audio
• Machines Abstraites
  Intro2 Diapos+audio
•