| Title | Static Safety Analysis of UML Action Semantics for Critical Systems Development |
| Publication Type | Conference Paper |
| Year of Publication | 2004 |
| Authors | Pap, Z., and Varró, D. |
| Editor | Dadam, P., and Reichert, M. |
| Conference Name | GI Jahrestagung (1) |
| Date Published | September |
| Publisher | GI |
| Keywords | Action Semantics, safety criteria, safety critical systems, UML |
| Abstract | 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 |
