Combining UML and formal notations for modelling real-time systems.
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automatically translated into a formal notation that supports the verification of properties such as safety, utility, liveness,...
| Cyhoeddwyd yn: | Software engineering notes. 26, 5 (2001). |
|---|---|
| Prif Awdur: | |
| Fformat: | Erthygl |
| Iaith: | English |
| Pynciau: |