An Automatic UML Convertion Tool download

This is the page for my MSc project, which concerns the convertion of some UML diagrams into UPPAAL timed automata, in order to apply model-checking.

Academic Free License (AFL)

User Reviews

Be the first to post a review of An Automatic UML Convertion Tool!

Brazilian Portuguese

Developers

2008-07-29

Similar Business Software

Altova UModel

Keep your favorite diagram views and UML tools at your fingertips to improve efficiency and productivity. Everything is customizable in the UML diagrams you create with UModel – size, position, color, typeface characteristics, and line styles. Use case diagrams are often considered separately...

See Software
DbVisualizer

DbVisualizer is one of the world’s most popular database editors. Developers, analysts, and DBAs use it to elevate their SQL experience with modern tools to visualize and manage their databases, schemas, objects, and table data, and to auto-generate, write and optimize queries. And so much...

See Software
Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software