Sciweavers

1436 search results - page 288 / 288
» Language Support for Managing Variability in Architectural M...
Sort
View
CAISE
2000
Springer
13 years 9 months ago
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud