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

Browse/Search Results:  1-10 of 43 Help

Filters        
Selected(0)Clear Items/Page:    Sort:
Model querying with graphical notation of QVT relations Journal article
ACM SIGSOFT Software Engineering Notes, 2012,Volume: 37,Issue: 4,Page: 1-8
Authors:  Dan Li;  Xiaoshan Li;  Volker Stolz
Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/05/20
Graphical Model Querying  Uml  Qvt  Ocl  Xpath  
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 |  | TC[WOS]:10 TC[Scopus]:14 | 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 |  | TC[WOS]:0 TC[Scopus]:5 | 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 |  | 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 |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/05/20
Qvt  Graphical User Interface  Xml  Xslt  Model Transformation  Prototype  
AutoPA: Automatic prototyping from requirements Conference paper
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, Heraklion, GREECE, OCT 18-21, 2010
Authors:  Li X.;  Liu Z.;  Schaf M.;  Yin L.
Favorite |  | TC[WOS]:3 TC[Scopus]:7 | Submit date:2019/02/14
Formal Semantics  Prototyping  Requirements Models  Validation  
Animating the brush-writing process of Chinese calligraphy characters Conference paper
Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, PEOPLES R CHINA, JUN 01-03, 2009
Authors:  Yang L.;  Li X.
Favorite |  | TC[WOS]:6 TC[Scopus]:0 | Submit date:2019/02/14
Animation Of Chinese Calligraphy  Image Processing  Stroke And Trajectory Extraction  
Validating requirements model of a B2B system Conference paper
Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, PEOPLES R CHINA, JUN 01-03, 2009
Authors:  Yin L.;  Liu J.;  Li X.
Favorite |  | TC[WOS]:1 TC[Scopus]:2 | Submit date:2019/02/14
Ocl  Requirements Model  Uml  Validation  
Validation of requirement models by automatic prototyping Conference paper
Innovations in Systems and Software Engineering
Authors:  Li D.;  Li X.;  Liu J.;  Liu Z.
Favorite |  | TC[WOS]:0 TC[Scopus]:8 | Submit date:2019/02/14
Codegeneration  OCL  Prototype  Requirement validation  UML  
Prototyping System Requirements Model Journal article
Electronic Notes in Theoretical Computer Science, 2008,Volume: 207,Issue: C,Page: 17-32
Authors:  Li X.;  Liu Z.
Favorite |  | TC[WOS]:0 TC[Scopus]:5 | Submit date:2019/02/14
Prototype  System Requirements Model  UML