| 2008 |
|---|
| 10 | | Akram Idani,
Bernard Coulette:
Towards Reverse-Engineering of UML Views from Structured Formal Developments.
ICEIS (3-1) 2008: 94-103 |
| 2007 |
|---|
| 9 | | Akram Idani,
Jean-Louis Boulanger,
Laurent Philippe:
A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems.
CAINE 2007: 185-192 |
| 8 | EE | Akram Idani,
Dieu Donné Okalas Ossami,
Jean-Louis Boulanger:
Commandments of UML for Safety.
ICSEA 2007: 58 |
| 7 | EE | Akram Idani,
Yves Ledru:
Object oriented concepts identification from formal B specifications.
Formal Methods in System Design 30(3): 217-232 (2007) |
| 6 | EE | 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 26(7): 819-851 (2007) |
| 2006 |
|---|
| 5 | | Akram Idani:
Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information.
INFORSID 2006: 577-593 |
| 4 | EE | Akram Idani,
Yves Ledru,
Didier Bert:
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.
SEW 2006: 97-106 |
| 3 | EE | Akram Idani,
Yves Ledru:
Dynamic graphical UML views from formal B specifications.
Information & Software Technology 48(3): 154-169 (2006) |
| 2005 |
|---|
| 2 | EE | Akram Idani,
Yves Ledru,
Didier Bert:
Derivation of UML Class Diagrams as Static Views of Formal B Developments.
ICFEM 2005: 37-51 |
| 1 | EE | Akram Idani,
Yves Ledru:
Object Oriented Concepts Identification from Formal B Specifications.
Electr. Notes Theor. Comput. Sci. 133: 159-174 (2005) |
