ACL:ILB07

Akram Idani, Yves Ledru, Didier Bert. Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B. Technique et Science Informatiques, RSTI, série TSI, 26, 2007.

Contact

Akram Idani
Yves Ledru
Didier Bert

Référence BibTex

@article{ACL:ILB07,
   Author = {Idani, Akram and Ledru, Yves and Bert, Didier},
   Title = {Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B},
   Journal = {Technique et Science Informatiques, RSTI, série TSI},
   Volume = {26},
   Publisher = {Hermès-Lavoisier},
   Year = {2007}
}

Référence EndNote [help]

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