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

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)