Analyzed
about 6 hours
ago.
based on code collected
about 6 hours
ago.
Project Summary
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.
In a Nutshell, An Automatic UML Convertion Tool...
- ...
- ...
- ...
-
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in August, 2008
ending with its most recent commit almost 16 years ago
Quick Reference
:pserver:anonymous:@anautomaticu...
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
55% of companies leverage OSS for production infrastructure
-
...
anyone with an Open Hub account can update a project's tags
-
...
use of OSS increased in 65% of companies in 2016
-
...
data presented on the Open Hub is available through our API
30 Day SummaryApr 17 2025 — May 17 2025
|
12 Month SummaryMay 17 2024 — May 17 2025
|
