minor on the examinators

MatiasVara · Mar 31, 2016 · 54f8b88 · 54f8b88
1 parent 1ef7650
commit 54f8b88
Show file tree

Hide file tree

Showing 4 changed files with 23 additions and 20 deletions.
diff --git a/acknowledgements/acknowledgements.tex b/acknowledgements/acknowledgements.tex
@@ -3,14 +3,17 @@
 \addcontentsline{toc}{chapter}{Acknowledgements}
 
 \begin{acknowledgements}
-%This thesis involved the collaboration of many people. My thanks go to:
-%\begin{itemize}
-%	\item My advisors Frederic Mallet and Julien DeAntoni whose advice improved my quality as research scientist.
-%	\item The AOSTE team whose advice improved my research and for every launch that we got all together;
-%	\item The GEMOC project for all the feedback during the PhD that helps me a lot for improving my results; 
-%	\item The committee members, for serving as my committee members even at hardship. I also want to thank you for letting my defense be an enjoyable moment, and for your brilliant comments and suggestions, thanks to you;
-%	\item My family Julio, Silvia, Pilar, Julian, and my grandparents la nona Dina, the Pichi and la abuela Maria. Without your support and encouragement, my success would not have been possible.   
-%\end{itemize}
+This thesis involved the collaboration of many people. My thanks go to:
+\begin{itemize}
+	\item My advisors Frederic Mallet and Julien DeAntoni whose advice improved my quality as research scientist.
+
+	\item Doctor S\'ebastien G\'erard and Professor Olivier Barais, for accepting and evaluating my thesis;
+
+		\item The AOSTE team whose advice improved my research and for every launch;
+		\item The GEMOC project for all the feedback that helps me a lot for improving my results; 
+
+	\item My family Julio, Silvia, Pilar, Julian, and my grandparents Dina, Pichi, Maria and Baltazar. Without your support and encouragement, my success would not have been possible.   
+\end{itemize}
 
 
 

diff --git a/framework/coordinationrule.tex b/framework/coordinationrule.tex
@@ -21,7 +21,7 @@ \subsection{Review of Existing Approaches}
 Another \emph{cons} of these approaches is that they force to express the semantics of both the model and the coordination in the same language. The use of a GPL to express the coordination limits the verification and validation of the resulting coordinated system. 
 
 \subsection{Requirements}
-In the reviewed approaches, we identified that they encode a different coordination rule depending on the coordination pattern. Such a coordination rule specifies how concepts from different languages \emph{must} be coordinated. The coordination rule allows approaches to derivate a glue between the elements selected by a correspondence rule. Such a glue specifies how elements in a correspondence \emph{are} coordinated. However, in these approaches, the coordination rule is encoded into a framework/tool and the coordination is expressed in a GPL. This limits the task of a system designer to provide analysis and verification of the coordinated system. To support the heterogeneous development of complex systems, a system designer has to understand well how a system is coordinated and he must be able to provide analysis of the coordinate system. These characteristics motivate the following requirements:
+In the reviewed approaches, we identified that they encode a different coordination rule depending on the coordination pattern. Such a coordination rule specifies how concepts from different languages \emph{must} be coordinated. The coordination rule allows approaches to derivate a glue between the elements selected by a correspondence rule. Such a glue specifies how elements in a correspondence \emph{are} coordinated. However, in these approaches, the coordination rule is encoded into a framework/tool and the coordination is expressed in a GPL. This limits the task of a system designer to provide analysis and verification of the coordinated system. To support the heterogeneous development of complex systems, a system designer has to understand well how a system is coordinated and he must be able to provide analysis of the coordinated system. These characteristics motivate the following requirements:
 	\begin{enumerate}
 		\item Coordination rules should be expressed independently of the implementation of the coordinated languages;  
 		\item Coordination rules should be customizable;

diff --git a/thesis.preamble.tex b/thesis.preamble.tex
@@ -179,9 +179,9 @@
  \newcommand*{\examinerOne}[1]{\def\examOneName{#1}}
  \newcommand*{\examinerOneTitle}[1]{\def\examOneTitle{#1}}
  \newcommand*{\examinerOneAffiliation}[1]{\def\examOneAff{#1}}
- \newcommand*{\examinerTwo}[1]{\def\examTwoName{#1}}
- \newcommand*{\examinerTwoTitle}[1]{\def\examTwoTitle{#1}}
- \newcommand*{\examinerTwoAffiliation}[1]{\def\examTwoAff{#1}}
+ %\newcommand*{\examinerTwo}[1]{\def\examTwoName{#1}}
+ %\newcommand*{\examinerTwoTitle}[1]{\def\examTwoTitle{#1}}
+ %\newcommand*{\examinerTwoAffiliation}[1]{\def\examTwoAff{#1}}
  \renewcommand*{\author}[1]{\def\authornames{#1}}
  \newcommand\maketitletesis{
  	\begin{titlepage}
@@ -221,7 +221,7 @@
  			\noindent \Large et encadr\'ee par: \supName \\
  			%\noindent \Large pr\'epar\'ee \`a l'INRIA Sophia Antipolis, Projet \textsc{\groupname}\\
  			\vspace*{0.2cm}
- 			\noindent \large soutenue le\\
+ 			\noindent \large soutenue le 11 avril 2016\\
  			\vspace*{0.3cm}
  		\end{center}
  		\noindent \large \textbf{Jury :}
@@ -232,7 +232,7 @@
  				M.		& \revOneName 	& \revOneTitle	&	\revOneAff	& \textit{Rapporteur}\\
  				M.		& \revTwoName	& \revTwoTitle	&	\revTwoAff	& \textit{Rapporteur}\\	
  				M.		& \examOneName	& \examOneTitle	&	\examOneAff	& \textit{Examinateur}\\
- 				M.		& \examTwoName	& \examTwoTitle 	&	\examTwoAff	& \textit{Examinateur}\\
+ 			%	M.		& \examTwoName	& \examTwoTitle 	&	\examTwoAff	& \textit{Examinateur}\\
  				M.		& \dirName 		& \dirTitle		&	\dirAff		& \textit{Directeur de Th\`ese}\\
  				M. 	& \supName 		& \supTitle		&	\supAff		& \textit{Encadrant}\\
  			\end{tabular}

diff --git a/thesis.tex b/thesis.tex
@@ -33,12 +33,12 @@
 \reviewerTwo{Sébastien Gérard}
 \reviewerTwoTitle{Dr.}
 \reviewerTwoAffiliation{CEA LIST}
-\examinerOne{??}
-\examinerOneTitle{??}
-\examinerOneAffiliation{??}
-\examinerTwo{??}
-\examinerTwoTitle{??}
-\examinerTwoAffiliation{??}
+\examinerOne{Bruel Jean-Michel}
+\examinerOneTitle{Prof.}
+\examinerOneAffiliation{Universit\'e de Toulouse 2}
+%\examinerTwo{}
+%\examinerTwoTitle{}
+%\examinerTwoAffiliation{}
 \supervisor{Julien \textsc{DeAntoni}}
 \supervisorTitle{M.C.}
 \supervisorAffiliation{INRIA/I3S-CNRS}