English | 繁體

Search in the results

UM

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
FIXML to Java, C# and C++ transformations with QVTR-XSLT Conference paper
Li D., Li D., Li X., Stolz V.. FIXML to Java, C# and C++ transformations with QVTR-XSLT[C], 2014, 27-31.
Authors:  Li D.;  Li D.;  Li X.;  Stolz V.
Favorite |  | Submit date：2019/02/14
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  
Interactive transformations from object-oriented models to component-based models Conference paper
Li D., Li X., Liu Z., Stolz V.. Interactive transformations from object-oriented models to component-based models[C], 2012, 97-114.
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite | TC[Scopus]:8 | Submit date：2019/02/14
Component Model  Model Transformation  Model-driven Development  Oo Design Model  Qvt  Sequence Diagram  
rCOS: A formal model-driven engineering method for component-based software Journal article
Ke W., Li X., Liu Z., Stolz V.. rCOS: A formal model-driven engineering method for component-based software[J]. Frontiers of Computer Science in China, 2012, 6(1), 17-39.
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite | TC[WOS]:11 TC[Scopus]:17 | Submit date：2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
Modelling with relational calculus of object and component systems - RCOS Conference paper
Chen Z., Hannousse A.H., Van Hung D., Knoll I., Li X., Liu Z., Liu Y., Nan Q., Okika J.C., Ravn A.P., Stolz V., Yang L., Zhan N.. Modelling with relational calculus of object and component systems - RCOS[C], 2008, 116-145.
Authors:  Chen Z.;  Hannousse A.H.;  Van Hung D.;  Knoll I.;  Li X.; et al.
Favorite | TC[WOS]:8 TC[Scopus]:12 | Submit date：2019/02/14
Design  Refinement  Requirements Modelling  Transformation  
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Chen Z., Li X., Liu Z., Stolz V., Yang L.. Harnessing rCOS for tool support - The CoCoME experience[C], 2007, 83-114.
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite | TC[WOS]:2 TC[Scopus]:5 | Submit date：2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design