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)

Other Useful Business Software

With Connecteam you can manage every aspect of your business on the go, no workstation needed.

Connecteam is an award-winning all-in-one employee management solution for daily operations, communications, and human resource management.

Rate This Project

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
Massdriver

Deliver developer self-service without the chaos. Visually build, scale, automate, and easily observe cloud infrastructure using Massdriver. Massdriver's cloud operations and DevOps platform enable developer self-service with guardrails and auditing operations teams trust. Eliminate...

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