Salut,


J'ai un exposé a faire et j'ai le choix entre les sujets suivants :

  • méthode B abrial
  • event B preuve
  • tcsp tcoz
  • raffinement
  • réseau pétri
  • object constraint Language ocl


je n'ai aucune idée sur ces sujets si vous voulez m'aider à choisir le plus important.

merci d'avance