Publications of
Object Oriented Concepts Identification from Formal B Specifications
In : Formal Methods in System Design, Springer-Verlag, Heidelberg, Allemagne, Special issue Formal Methods for Industrial Critical Systems, Vol. 30 N. 3, pp. 217-232, June 2007.
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
In : Technique et Science Informatiques (TSI), Hermès Science, Special issue Approches Formelles dans l’Assistance au Développement de Logiciels, Vol. 26, N. 7, pp. 819-851, September 2007.
Dynamic Graphical UML Views from Formal B Specifications
In : International Journal of Information and Software Technology, Elsevier, Vol. 48 N. 3, pp. 154-169, March 2006.
Akram Idani, Yves Ledru, Didier Bert
Analyse formelle de concepts pour la génération de diagrammes de classes UML à partir de spécifications B
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), Paris, 15/03/06-17/03/06, ENST, pp. 9-23, March 2006.
Akram Idani, Yves Ledru, Didier Bert
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams
In : Annual IEEE/NASA Software Engineering Workshop (SEW 2006), USA, 25/04/06-28/04/06, IEEE Computer Society, pp. 97-106, April 2006.
Object Oriented Concepts Identification from Formal B Specifications
In : International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), Linz, Austria, 31/05/05, Elsevier, pp. 159-174, May 2005.
Akram Idani, Yves Ledru, Didier Bert
Derivation of UML Class Diagrams as Static Views of Formal B Developments
In : International Conference on Formal Engineering Methods (ICFEM 2005), UK, 01/11/05-04/11/05, Springer-Verlag, pp. 37-51, November 2005.