An Overview of RoZ: A Tool for Integrating UML and Z Specifications.

Sophie Dupuy Yves Ledru Monique Chabre-Peccoud

Published in: CAiSE (2000)

Keyphrases

class diagram
sequence diagrams
specification language
tool support
class diagrams
high level
metamodel
software tools
unified modeling language
software engineering
software development
artificial intelligence
software systems
database design
conceptual models