UM

Browse/Search Results:  1-7 of 7 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: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  
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  
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:3/0  |  Submit date:2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
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:2/0  |  Submit date:2018/12/22
Collaborative environment  Collaborative product development  Engineering portal  Web based design  
Form understanding for automated knowledge acquisition Conference paper
Proceedings of SPIE - The International Society for Optical Engineering
Authors:  Tang Yuan Y.;  Yan Chang D.;  Suen Ching Y.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/11