Transformation of Class Diagrams into Z Specifications.

Supattara Napapak Wiwat Vatanawood

Published in: Software Engineering Research and Practice (2004)

Keyphrases

class diagrams
class diagram
uml class diagrams
object oriented
reverse engineering
object oriented systems
formal specification
sequence diagrams
case study
high level
multi agent systems