English | 繁體

Search in the results

UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
Support formal component-based development with UML profile Conference paper
Li D., Li X., Liu Z., Stolz V.. Support formal component-based development with UML profile[C], 2013, 191-200.
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2019/02/14
Component-based Modeling  Formal Methods  Model-driven Development  Rcos  Uml Profile  
Consistent code generation from UML models Conference paper
Long Q., Liu Z., Li X., Jifeng H.. Consistent code generation from UML models[C], 2005, 23-30.
Authors:  Long Q.;  Liu Z.;  Li X.;  Jifeng H.
Favorite | TC[WOS]:10 TC[Scopus]:29 | Submit date：2019/02/14
Code Generation  Consistency  Object Orientation  Semantics  Uml  Utp  
Linking UML models of design and requirement Conference paper
Liu J., Liu Z., He J., Li X.. Linking UML models of design and requirement[C], 2004, 329-338.
Authors:  Liu J.;  Liu Z.;  He J.;  Li X.
Favorite | TC[WOS]:4 TC[Scopus]:16 | Submit date：2019/02/14
Consistency  Semantics  Uml  
A formal semantics of UML sequence diagram Conference paper
Li X., Liu Z., Jifeng H.. A formal semantics of UML sequence diagram[C], 2004, 168-177.
Authors:  Li X.;  Liu Z.;  Jifeng H.
Favorite | TC[WOS]:30 TC[Scopus]:59 | Submit date：2019/02/14
Consistency  Semantics  Sequence Diagram  Uml