Examen de spécialité, Doctorat Informatique, Université de Sherbrooke (Québec), Juin 2004. ; National audience ; 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.