UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-7 of 7 Help

Filters                            
Selected(0)Clear Items/Page:    Sort:
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:10/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/07/24
Model-driven Development  Component Model  Model Transformation  Qvt  Oo Design Model  Sequence Diagram  
An Image-based Approach in Animating Painting Procedure of Chinese Ink Painting Conference paper
Computer Graphics International 2011, S26, At Ottawa, Canada, 2011
Authors:  Lijie Yang;  Tianchen Xu;  Xiaoshan Li
Favorite | View/Download:5/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/05/20
Painting Trajectory  Stroke-based Rendering  Chinese Ink Painting  
QVT-based Model Transformation using XSLT Journal article
ACM SIGSOFT Software Engineering Notes, 2011,Volume: 36,Issue: 1,Page: 1-8
Authors:  Dan Li;  Xiaoshan Li;  Volker Stolz
Favorite | View/Download:9/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/05/20
Qvt  Graphical User Interface  Xml  Xslt  Model Transformation  Prototype  
A characterization of UML diagrams and their consistency Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Stanford, CA, AUG 15-17, 2006
Authors:  Li X.
Favorite | View/Download:7/0 | TC[WOS]:1 TC[Scopus]:0 | Submit date:2019/02/14
Consistency Checking  Semantics  Sequence Diagram  Uml2.0  
A Theory of Reactive Components Journal article
Electronic Notes in Theoretical Computer Science, 2006,Volume: 160,Issue: 1,Page: 173
Authors:  He J.;  Li X.;  Liu Z.
Favorite | View/Download:10/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2018/10/30
Components  Composition  Contracts  Interfaces  Protocols  
A Relational Calculus of Components Journal article
Book Series: Series on Component-Based Software Development, 2006,Volume: 2,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite | View/Download:4/0 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/07/30
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:8/0 | TC[WOS]:14 TC[Scopus]:0 | Submit date:2019/02/14
Component  Contract  Interface  Object-orientation  Refinement