Project: UML and real-time UML: a formal treatment
- project duration
- 01-JAN-04 – 31-DEC-05
- The integration of formal specification and verification in a UML case tool, must developers of real-time systems (hard- and software) building correct functioning products in a fast way. The goal of this research is to embed formal reasoning into UML development tools, such that the user encounters a minimal burden of the formal part of the proces.