Login / Signup

Integration of Object-Z class diagrams specifications.

Nahla HaddarFaïez GargouriAbdelmajid Ben Hamadou
Published in: SMC (2002)
Keyphrases
  • class diagrams
  • class diagram
  • d objects
  • uml class diagrams
  • object oriented
  • object model
  • reverse engineering
  • lightweight
  • formal specification
  • object oriented systems