UM

Browse/Search Results:  1-10 of 10 Help

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:3/0  |  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
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:2/0  |  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
Frontiers of Computer Science in China, 2012,Volume: 6,Issue: 1,Page: 17-39
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
Interactive Transformation from Object-Oriented Models to Component-based Models Conference paper
Formal Aspects of Component Software, Oslo, Norway, September 14-16, 2011
Authors:  Dan Li;  Xiaoshan Li;  Zhiming Liu;  Volker Stolz
Favorite  |  View/Download:5/0  |  Submit date:2019/07/24
Model-driven Development  Component Model  Model Transformation  Qvt  Oo Design Model  Sequence Diagram  
Modelling with relational calculus of object and component systems - RCOS Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  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.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Design  Refinement  Requirements modelling  Transformation  
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, PEOPLES R CHINA, SEP 24-25, 2007
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design  
rCOS: A Relational Calculus of Components Journal article
World Scientific Press, 2006,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite  |  View/Download:3/0  |  Submit date:2019/07/30
rCOS: A refinement calculus of object systems Journal article
Theoretical Computer Science, 2006,Volume: 365,Issue: 2018-01-02,Page: 109
Authors:  Jifeng H.;  Li X.;  Liu Z.
Favorite  |  View/Download:4/0  |  Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp  
rCOS: Refinement of component and object systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Component-Based Development  Consistency  Object-Orientation  Refinement  Specification  
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