| Cím | Static Safety Analysis of UML Action Semantics for Critical Systems Development |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2004 |
| Szerzők | Pap, Z., and Varró, D. |
| Szerkesztő | Dadam, P., and Reichert, M. |
| Konferencia neve | GI Jahrestagung (1) |
| Kiadás dátuma | September |
| Kiadó | GI |
| Kulcsszavak | Action Semantics, safety criteria, safety critical systems, UML |
| Összefoglalás | The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. |
| URL | http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2004/gi2004_pv.pdf |
