Login / Signup

Derivation of UML Class Diagrams as Static Views of Formal B Developments.

Akram IdaniYves LedruDidier Bert
Published in: ICFEM (2005)
Keyphrases
  • uml class diagrams
  • class diagrams
  • uml diagrams
  • class diagram
  • description logics
  • database
  • machine learning
  • multi agent systems
  • reverse engineering
  • software design
  • reasoning systems