Benutzer: Gast  Login
Titel:

Critical Systems Design with UML light

Dokumenttyp:
Technical Report
Autor(en):
Jan Juerjens
Abstract:
Despite years of successful research into using formal methods for the development of critical concurrent systems, there are still too many failures of critical systems in practice. Part of the reason is that use formal methods is often seen to be to costly. The Unified Modeling Language offers an unprecedented opportunity for high-quality critical systems development that is feasible in an industrial context, since many developers are trained in UML and are using it already. Our aim is to aid t...     »
Stichworte:
critical systems developement; UMLlight; UML
Jahr:
2003
Jahr / Monat:
2003-02-01 00:00:00
Seiten/Umfang:
15
 BibTeX