3 search results - page 1 / 1 » An Overview of RoZ: A Tool for Integrating UML and Z Specifi... |
CAISE
2000
Springer
13 years 9 months ago
2000
Springer
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 ...
EWCBR
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
20
Voted
UML
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...