these-jcb/these.tex

% vim:spell spelllang=fr
%             Exemple d'utilisation de la classe thloria
%             ------------------------------------------
%
%
% (de maniere generale, les commandes de thloria sont celles
% qui ne sont pas completement en minuscules)
%
% Voir la documentation complete pour plus de details.
%
%
% D. Roegel, 18 janvier 2001
%
\pdfoutput=1
%\documentclass[12pt]{thloria}%,noprintercorrection%
\documentclass{thloria}%,noprintercorrection%
                
% « nofrench » permet de recharger le package babel ulterieurement

%----------------------------------------------------------------------
%                     Chargement de quelques packages
%----------------------------------------------------------------------
\usepackage[pageanchor=false]{tlhypref}
%\usepackage[pdftex]{tlhypref}
%\usepackage{tlhypref}

\usepackage{blindtext} %lorem ipsum

\usepackage{aeguill,aecompl}
\usepackage[T1]{fontenc}                % accents dans le DVI
%\usepackage[latin1]{inputenc}           % accents dans le source and hyphenation
\usepackage[utf8]{inputenc}
%\usepackage[english,frenchb]{babel}      % charger packages babel
%\selectlanguage{french}
\usepackage{url}
\usepackage{pdfpages}
%\usepackage[final]{pdfpages}
\usepackage{amsmath,amsthm,amssymb}     %mode math
\usepackage{listings}                   % afficher code source
\usepackage{moreverb}
\usepackage{verbatim}
%\usepackage{fancyvrb}
\usepackage{array} %alignement vertical
%\usepackage{lastpage}
\usepackage{xspace}
\usepackage{color, colortbl}            % colors, colors for tables, + todos
\usepackage{xcolor}
\usepackage{float} %incompatible avec thloria si \listof utilisée
%\usepackage{tlfloat}
\usepackage[small,justification=centering]{caption}% or e.g. [format=hang]
\usepackage{subcaption}
%\usepackage[all]{xy}                    % draw diagrams
\usepackage{fancybox} % for shadow and Bitemize
\usepackage{graphicx} % pour les figures .ps ?
\usepackage{siunitx}
%\usepackage[output-decimal-marker={,}]{siunitx}
\sisetup{locale = FR,
detect-all,
}
\usepackage{placeins} % pour pouvoir utiliser FloatBarrier (vide le cache des flottants)
\DeclareGraphicsRule{*}{mps}{*}{}             % to use pdflatex
\DeclareGraphicsExtensions{.pdf}
\def\xcolorversion{2.00}
\def\xkeyvalversion{1.8}
\usepackage[version=0.96]{pgf}                % draw complex graphics with tikz
\usepackage{tikz}                                         % draw complex diagrams
\usepackage{pgfplots}
\usetikzlibrary{automata}
\usetikzlibrary{arrows}
\usetikzlibrary{backgrounds}
\usetikzlibrary{fit}
%\usetikzlibrary{matrix}
\usetikzlibrary{patterns}
\usetikzlibrary{petri}
\usetikzlibrary{positioning}
\usetikzlibrary{shapes}
\usetikzlibrary{shapes.arrows}
\usetikzlibrary{shapes.multipart}
\usetikzlibrary{decorations}
\usetikzlibrary{decorations.pathreplacing}
%\usetikzlibrary{snakes}

%\usepackage{auto-pst-pdf}

\usepackage{custom_pgf-umlcd}
%incompatible
%\usepackage[pagebackref]{hyperref}% propr. du pdf + liens inverses
%\usepackage{hyperref}% propr. du pdf + liens inverses
\usepackage{tlhypref}% propr. du pdf + liens inverses
%\hypersetup{colorlinks=true,linkcolor=magenta,citecolor=magenta}
\usepackage[hyperpageref]{backref}

%\usepackage{bibtopic} %tentative de biblio avec sections

%\usepackage{lscape}                    % rotate figures
%a tester
\usepackage{pdflscape}                  % rotate figures (also in pdf)
%\usepackage{todonotes}                              % add notes
\usepackage{setspace}                   % le spacing reduit pour l'abstract
%\usepackage[square,comma]{natbib}      % ordonner
\usepackage{paralist}                  % lists in one line
% Si on veut le style de bibliographie named :
%\usepackage{named}
% Pour tout savoir sur les polices
% (cette ligne n'est pas necessaire au traitement du fichier)
%\usepackage[infoshow]{tracefnt}
\usepackage{setspace} %JC
% Si on veut des mini-tables des matieres (utiliser minitoc-hyper
% en conjonction avec tlhypref) :
%\usepackage[french]{minitoc-hyper}
\usepackage[french]{minitoc}
%\usepackage{diagbox}%\usepackage{slashbox}
\usepackage{multirow}
%\usepackage{arydshln} %hdashline

\input{macros}

%hyphenation{con-tex-te}

% Pour modifier les marges. Par default c'est 30mm x 20mm
% rend les pages sans schéma illisibles
\SetRealMargins{28mm}{40mm} %pas mal

%-------------------------------------------------------------------
%       Pour avoir les proprietes du papier sur le pdf genere
%-------------------------------------------------------------------
\hypersetup
{
   pdfauthor={Jean-Christophe Bach},
   pdfsubject={Transformations de modèles et certification : un îlot formel pour les transformations de modèles qualifiables},
   pdftitle={Un îlot formel pour les transformations de modèles qualifiables},
   pdfkeywords={rewriting, réécriture, termes, terms, modèles, models,
   transformation, pattern matching, filtrage de motif, Tom, EMF, Ecore, Java, resolve, traçabilité, traceability, qualification}
}


%-------------------------------------------------------------------
%                   Pour collecter un glossaire et un index
%-------------------------------------------------------------------

%TODO
%\makeglossary
%\makeindex

\begin{document}


      %\OddHead={{\leftmark\rightmark}{\hfil\slshape\rightmark}}
      %\EvenHead={{\leftmark}{{\slshape\leftmark}\hfil}}
      %\OddFoot={\hfil\thepage}
      %\EvenFoot={\thepage\hfil}
      %\pagestyle{ThesisHeadingsII}


%TODO
\includepdf[pages={1}]{./cover/cover.pdf}
%%\input{cover/cover}
%\begin{ThesisDedication}
%  À ceux qui liront cette thèse.
%\end{ThesisDedication}
\begin{ThesisAcknowledgments}
\input{remerciements}
\end{ThesisAcknowledgments}

%-------------------------------------------------------------------
%                        table des matieres
%-------------------------------------------------------------------

%\pagestyle{plain}
\tableofcontents

% Pour ne pas avoir le mot `Chapitre' au debut de chaque chapitre.
%\NoChapterHead

%\DontWriteThisInToc
%TODO
\listoffigures

% La commande \mainmatter (nouvelle commande LaTeX2e) permet de passer
% a la numerotation arabe (ce que fait \pagenumbering{arabic})
% et de faire commencer la nouvelle page 1 sur une page impaire.
% On evitera donc d'utiliser directement \pagenumbering{arabic}.
\mainmatter

%\pagestyle{ThesisHeadingsII}
%\DontFrameThisInToc
%\input{resume.tex}

%\DontFrameThisInToc
\input{ch-introduction.tex}

%\input{test.tex}
\part{État de l'art}
\label{part:sota}

%\DontFrameThisInToc
\input{ch-tom.tex}

%\DontFrameThisInToc
\input{ch-notions.tex}

%\DontFrameThisInToc
\input{ch-verification.tex}

%%\DontFrameThisInToc
%%\input{ch-context_motivations.tex}

\part{Contributions}
\label{part:contrib}

%\DontFrameThisInToc
\input{ch-approach.tex}

%\DontFrameThisInToc
%\input{ch-modularity.tex}

%\DontFrameThisInToc
\input{ch-traceability.tex}

%\DontFrameThisInToc
%%\input{ch-sysml2vhdlams}

%\DontFrameThisInToc
\input{ch-outils}

%\DontFrameThisInToc
\input{ch-usecase.tex}

%\DontFrameThisInToc
\input{ch-evaluation}

%\DontFrameThisInToc
\input{ch-conclusion.tex}

% En cours de route, on peut changer le cadrage par defaut:
%\DontFrameChaptersInToc

%\DontFrameThisInToc
%TODO
\input{appendices.tex}

%\Annexe
%\Annex{premi\`ere annexe}

%Avec plein de texte tr\`es vari\'e.
%Une autre page avec plein de texte tr\`es vari\'e.

%\section{Une section}
%Une autre page avec plein de texte tr\`es vari\'e.

% En cours de route, on peut changer le cadrage par defaut:
%\Annex{deuxi\`eme annexe}

%Avec plein de texte tr\`es vari\'e.
%Une autre page avec plein de texte tr\`es vari\'e.

%\section{Une section}
%Une autre page avec plein de texte tr\`es vari\'e.

%\Glossary{Chat1}{animal}\Glossary{Chien1}{Autre animal}
%\Glossary{Chat2}{animal}\Glossary{Chien2}{Autre animal}

%-------------------------------------------------------------------
%                         Le glossaire
%-------------------------------------------------------------------
%\BeginGloWith{Voici un glossaire tout-\`a-fait fictif,
%              introduit par un texte sur toute la largeur
%              des deux colonnes.}

%TODO
\input{glossaire}
\twocolumn
\PrintGlossary

%-------------------------------------------------------------------
%              L'index (toujours sur deux colonnes)
%-------------------------------------------------------------------
%TODO
%\cleardoublepage
%\phantomsection
%%\BeginIndWith{Voici un index}
%%TODO
%\PrintIndex

%-------------------------------------------------------------------
%                       La bibliographie
%-------------------------------------------------------------------

% La bibliographie (comme d'habitude)


\cleardoublepage
\phantomsection
\onecolumn
%\nocite{*}
%pour assurer que mes publis apparaissent bien, quoi qu'il arrive
\nocite{DRBBBCEEJK10, Afroozeh2012, Bach2009, TomManual-2.10, Bach2012, Bach2012a, Bach2012b, bachTSI2014}
\bibliographystyle{alpha}
\bibliography{bach,ref}
%%\bibliographystyle{apalike}
%%\bibliographystyle{plainnat}
%%\bibliographystyle{named}

%\input{publisjcb}

%-------------------------------------------------------------------
%                          Les resumes
%-------------------------------------------------------------------
% (si le resume' apparait sur une colonne etroite, avec la
% bibliographie a gauche, c'est sans doute parce que vous avez
% oublie' de generer les fichiers d'index et de glossaire...)

% This renders a bad head margin in last page of bibliography
% \setlength{\headsep}{-18mm}
% \AdjustTextheight

%TODO
\input{abstract}
%\NumberAbstractPages
%\begin{ThesisAbstract}
%  \begin{FrenchAbstract}
%  \begin{spacing}{0.88}
%    Ici, je mets l'abstract de ma thèse
%    \KeyWords{transformation de mod\`eles, resolve, Tom, EMF, Ecore, Java, filtrage de motifs, r\'e\'ecriture.}
%    \end{spacing}
%  \end{FrenchAbstract}
%  \begin{EnglishAbstract}
%  \begin{spacing}{0.88}
%    Here is my thesis abstract.
%    \KeyWords{models transformation, resolve, Tom, EMF, Ecore, Java, pattern matching, rewriting.}
%    \end{spacing}
%  \end{EnglishAbstract}
%\end{ThesisAbstract}

\end{document}
% vim:spell spelllang=fr