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

Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud. An Overview of RoZ: A Tool for Integrating UML and Z Specifications. In Benkt Wangler, Lars Bergman, editors, Advanced Information Systems Engineering, 12th International Conference CAiSE 2000, Stockholm, Sweden, June 5-9, 2000, Proceedings. Volume 1789 of Lecture Notes in Computer Science, pages 417-430, Springer, 2000. [doi]

Authors

Sophie Dupuy

This author has not been identified. Look up 'Sophie Dupuy' in Google

Yves Ledru

This author has not been identified. Look up 'Yves Ledru' in Google

Monique Chabre-Peccoud

This author has not been identified. Look up 'Monique Chabre-Peccoud' in Google