CN:ILB06

Akram Idani, Yves Ledru, Didier Bert. Analyse formelle de concepts pour la génération de diagrammes de classe UML à partir de spécifications B. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 9-24, ENST, Paris, Mars 2006.

Contact

Akram Idani
Yves Ledru
Didier Bert

Référence BibTex

@InProceedings{CN:ILB06,
   Author = {Idani, Akram and Ledru, Yves and Bert, Didier},
   Title = {Analyse formelle de concepts pour la génération de diagrammes de classe UML à partir de spécifications B},
   BookTitle = {Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels},
   Pages = {9--24},
   Address = {ENST, Paris},
   Month = {March},
   Year = {2006}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)