User: Guest  Login
Title:

Critical Systems Design with UML light

Document type:
Technical Report
Author(s):
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...     »
Keywords:
critical systems developement; UMLlight; UML
Year:
2003
Year / month:
2003-02-01 00:00:00
Pages:
15
 BibTeX