0-Definitions_Etudiant.tex

%% -----------------------------------
%% ---> A MODIFIER PAR L'ETUDIANT <---
%% -----------------------------------
%%
%% Commandes qui affichent le titre du document, le nom de l'auteur, etc.
\newcommand\monTitre{Étendre la spécification de programmes C concurrents et les
vérifier par une transformation de source à source}
\newcommand\monPrenom{Guillaume}
\newcommand\monNom{Hétier}
\newcommand\monDepartement{génie informatique et génie logiciel}
\newcommand\maDiscipline{génie informatique}
\newcommand\monDiplome{M}        % (M)aîtrise ou (D)octorat
\newcommand\anneeDepot{2018}
\newcommand\moisDepot{janvier}
\newcommand\monSexe{M}           % "M" ou "F"
\newcommand\PageGarde{N}         % "O" ou "N"
\newcommand\AnnexesPresentes{O}  % "O" ou "N". Indique si le document comprend des annexes.
\newcommand\mesMotsClef{
model-checking,
C, pThread,
concurrence,
spécification,
verification,
instrumentation,
LTL,
assertions
}
%%
%%  DEFINITION DU JURY
%%
%%  Pour la définition du jury, les macros suivantes sont definies:
%%  \PresidentJury, \DirecteurRecherche, \CoDirecteurRecherche, \MembreJury, \MembreExterneJury
%%
%%  Toutes les macros prennent 4 paramètres: Sexe (M/F), Prénom, Nom, Titres
\newcommand\monJury{\PresidentJury{F}{Gabriela}{Nicolescu}{Doctorat}\\
\DirecteurRecherche{F}{Hanifa}{Boucheneb}{Doctorat}\\
\MembreJury{M}{Foutse}{Khohm}{Ph.~D.}}