User: Guest  Login
Document type:
Technical Report 
Author(s):
Jan Juerjens 
Title:
Critical Systems Design with UML light 
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