UM

Browse/Search Results:  1-10 of 14 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  
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:1/0  |  Submit date:2019/02/14
component model  model transformation  Model-driven development  OO design model  QVT  sequence diagram  
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:4/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:4/0  |  Submit date:2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design  
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  
Towards a rigorous approach to UML-based development Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
Contract oriented development of component software Conference paper
IFIP Advances in Information and Communication Technology, Toulouse, FRANCE, AUG 22-27, 2004
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Component  Contract  Interface  Object-orientation  Refinement  
Engineering portal for collaborative product development Conference paper
Proceedings of the ASME Design Engineering Technical Conference
Authors:  Yang Z.;  Liu Z.;  Zhao J.;  Shen Z.;  Xie Z.;  Liu Q.
Favorite  |  View/Download:1/0  |  Submit date:2018/12/22
Collaborative environment  Collaborative product development  Engineering portal  Web based design  
Conceiving Service-Based Architecture and Process for Quality Software Education Conference paper
Proceedings of the 2002 Information Resources Management Association International Conference (IRMA2002), Seattle, Washington, USA, May 19-22,2002
Authors:  Kam Hou Vat
Favorite  |  View/Download:0/0  |  Submit date:2019/07/24