EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information
Abstract
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.
Origin : Files produced by the author(s)
Loading...