blob: 2916a61ac213f8593178c4c366e169fa279bfccc [file] [log] [blame]
%\includegraphics[width=100pt]{iso_r.png}
\clearpage
\begin{center}
\begin{tabularx}{0.95\textwidth}{
>{\hsize=0.5\hsize}X% 25% of 2\hsize
>{\hsize=1.5\hsize}X% 75% of 2\hsize
% sum=2.0\hsize for 2 columns
}
Identification : & REF.:DRT-LIST/DILS/16-0134/EM \\[1cm]
Title : & Starting with Diversity : a Beginner's Guide \\[1cm]
Authors : & Arnault Lapitre \newline Imen Boudhiba\\[1cm]
Keywords : & Eclipse-based IDE (R.C.P) \newline State machine models\newline Transition Coverage\newline Test case generation\newline TTCN-3 \\[1cm]
Unit : & DILS/LISE\\[1cm]
Abstract : & This documentation is a beginner's guide to the Diversity tool~\footnote{Diversity is being under an open sourcing process in the frame of the Eclipse Formal Modeling project (efm for short) https://projects.eclipse.org/proposals/eclipse-formal-modeling-project .}. It contains an installation guide as well as an overview of some basic features of the software through the use of an example.\\[4cm]
\end{tabularx}
\end{center}
\clearpage
This document is the property of the CEA. It can not be copied or disseminated without its authorization.\\
\bigskip
\begin{center}
\begin{tabularx}{0.95\textwidth}{
|>{\hsize=.64\hsize}X|% 16% of 4\hsize
>{\hsize=1.12\hsize}X|% 28% of 4\hsize
>{\hsize=1.12\hsize}X|% 28% of 4\hsize
>{\hsize=1.12\hsize}X|% 28% of 4\hsize
% sum=4.0\hsize for 4 columns
}
\cline{2-4}
\multicolumn{1}{c|}{} & WRITERS & CONTROLLER & HEAD of DIVISION \\ \hline
NAME & Imen Boudhiba & Boutheïna Bannour & \\
& Arnault Lapitre & & \\[3cm]
\hline
DATE & & & \\[1cm]
\hline
SIGNATURE & & & \\[6cm]
\hline
\end{tabularx}
\end{center}
\clearpage
\medskip
Modification monitoring :\\
\begin{center}
\begin{tabularx}{0.95\textwidth}{
|>{\hsize=.4\hsize}X|% 10% of 4\hsize
>{\hsize=0.8\hsize}X|% 20% of 4\hsize
>{\hsize=0.8\hsize}X|% 20% of 4\hsize
>{\hsize=2\hsize}X|% 50% of 4\hsize
% sum=4.0\hsize for 4 columns
}
\hline
Date & Version & Writers & Description \\[1cm]
\hline
$27/07/2017$ & V0 & Arnault Lapitre & initial version \\
& & Imen Boudhiba & \\[2cm]
\hline
& & & \\[2cm]
\hline
& & & \\[2cm]
\hline
& & & \\[2cm]
\hline
\end{tabularx}
\end{center}
\clearpage
Diffusion :\\
\medskip
\begin{center}
\begin{tabularx}{0.95\textwidth}{
|>{\hsize=.5\hsize}X|% 25% of 2\hsize
>{\hsize=1.5\hsize}X|% 75% of 2\hsize
% sum=2.0\hsize for 2 columns
}
\hline
NAME & CONTACT \\
\hline
\end{tabularx}
\end{center}
\clearpage