National Repository of Grey Literature 2 records found  Search took 0.00 seconds. 
A Tool for Checking Correctness of Design Diagrams in UML
Dlouhý, Ivo ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
Aim of this master's thesis is to create a tool for checking correctness of design diagrams in UML. The work describes the UML language and connected standards, defines the problem of UML correctness and explains the approach of using incorrectness pattern database to check the UML correctness. Furthermore it suggests the QVT language as a suitable for implementing the incorrectness patterns. The problem is decomposed into shared incorrectness pattern database manageable via web interface, standalone tool for use from the command line and a plugin for the UML design software Visual Paradigm. All of the components are designed, implemented, tested and evaluated. The important aspect is the openness and extensibility of the tool.
A Tool for Checking Correctness of Design Diagrams in UML
Dlouhý, Ivo ; Bartík, Vladimír (referee) ; Rychlý, Marek (advisor)
Aim of this master's thesis is to create a tool for checking correctness of design diagrams in UML. The work describes the UML language and connected standards, defines the problem of UML correctness and explains the approach of using incorrectness pattern database to check the UML correctness. Furthermore it suggests the QVT language as a suitable for implementing the incorrectness patterns. The problem is decomposed into shared incorrectness pattern database manageable via web interface, standalone tool for use from the command line and a plugin for the UML design software Visual Paradigm. All of the components are designed, implemented, tested and evaluated. The important aspect is the openness and extensibility of the tool.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.