Cours de spécifications formelles
(langages et méthodes)

Polycopiés, transparents et notes de cours

Introduction aux méthodes formelles orientées MODELE (VDM, Z, B)
 Model-oriented approaches

Motivations et introduction aux méthodes formelles

Quelques motivations pour les méthodes formelles    [.pdf]
Intro. générale spécification formelle (Master)  [.pdf]
Intro. générale aux méthodes formelles   [.pdf ]
Intro. Méthodes orientées "modèle" [.pdf]
(intro. Logique, Théorie des ensembles)

Méthode B "classique"

1 Introduction à la méthode B [2parpages .pdf] (cours1)
2. Raffinement, Implantation (cours 2)     
(Notation, logique, theo des ensembles, machines abstraites, raffinement, implantation)
Mémento de raffinement et implantation (AtelierB V4)

EventB

Introduction au B événementiel [.pdf] 
(pour les systèmes concurrents, distribués, ...)

Exercices B / travaux dirigés-pratiques :

Cahier d'exercices 1 (M2 Alma)

Les bases, ensembles, relations

Cahier d'exercices 2 (M2 Alma)

Cahier_edcas_1 (M2 Alma)
Cahier_edcas_2 (M2 Alma)

Machines
Architecture, raffinement

TP en groupe 09/2010

Diverses études de cas

exam_2006, exam_2007, exam_2008, exam_2009, examTGL1_2009,

Des annales (Dut et Master)



Introduction au langage de spécification Z
Transparents
Notes de cours
TD video
TD Sequences
TD sysfichier 
TD Modelisation

Introduction à LOTOS
Introduction aux algèbres de processus et LOTOS
  • Transparents 2 par pages  [.pdf]  [.ps.gz]
  • Transparents à projeter  [.pdf]  [.ps.gz]

Autres méthodes

Intégration de méthodes formelles

  • Divers


Christian Attiogbe
Dernière modification : 19 janvier 2011