UM

Browse/Search Results:  1-3 of 3 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
Support formal component-based development with UML profile Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
component-based modeling  formal methods  Model-driven development  rCOS  UML profile  
Consistent code generation from UML models Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC, Brisbane, AUSTRALIA, MAR 29-APR 01, 2005
Authors:  Long Q.;  Liu Z.;  Li X.;  Jifeng H.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/14
Code Generation  Consistency  Object Orientation  Semantics  Uml  Utp  
Linking UML models of design and requirement Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC
Authors:  Liu J.;  Liu Z.;  He J.;  Li X.
Favorite  |  View/Download:0/0  |  Submit date:2019/02/14
Consistency  Semantics  UML