@MASTERSTHESIS{Master_LYangui,
  AUTHOR =       {Lamia Yangui Bouaziz},
  TITLE =        {{Une d\'emarche de validation de sp\'ecifications
                  formelles des architectures logicielles }},
  SCHOOL =       {\'Ecole Nationale d'Ing\'enieurs de Sfax, Tunisie},
  YEAR =         {2007},
  month =        {July},
}