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.

Project Activity

See All Activity >

License

Academic Free License (AFL)

Follow An Automatic UML Convertion Tool

An Automatic UML Convertion Tool Web Site

Other Useful Business Software
Train ML Models With SQL You Already Know Icon
Train ML Models With SQL You Already Know

BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Languages

Brazilian Portuguese

Intended Audience

Developers

Programming Language

Java

Related Categories

Java Computer-Aided Software Engineering (CASE) Software

Registered

2008-07-29