756 search results - page 152 / 152 » Using Architecture Models to Support the Generation and Oper... |
CAISE
2000
Springer
13 years 10 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 ...