Static Safety Analysis of UML Action Semantics for Critical Systems Development

CímStatic Safety Analysis of UML Action Semantics for Critical Systems Development
Közlemény típusaConference Paper
Kiadás éve2004
SzerzőkPap, Z., and Varró, D.
SzerkesztőDadam, P., and Reichert, M.
Konferencia neveGI Jahrestagung (1)
Kiadás dátumaSeptember
KiadóGI
KulcsszavakAction Semantics, safety criteria, safety critical systems, UML
ÖsszefoglalásThe 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.
URLhttp://www.inf.mit.bme.hu/FTSRG/Publications/varro/2004/gi2004_pv.pdf