EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information

Frédéric Gervais (1)

1 CEDRIC - Centre d'études et de recherche en informatique et communications

Dans ce rapport, je présente un état de l'art sur les combinaisons de spécifications formelles état-événement et sur le raffinement, mon sujet de thèse ainsi qu'une ébauche de solution. L'examen de spécialité fait partie de l'examen général qui est prévu dans le programme de doctorat en informatique de l'Université de Sherbrooke (Québec). Ce rapport a été présenté et soutenu devant un jury à Sherbrooke le 30 juin 2004.

Domaines: Informatique [cs]; Langage de programmation [cs.PL]

Frédéric Gervais. EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information. 2004. ⟨hal-01124923⟩