| %\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 |
| |
| |
| |
| |