UM

Browse/Search Results:  1-9 of 9 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
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  
Translation rules and a supporting tool for model-based reuse Conference paper
Proceedings - International Computer Software and Applications Conference
Authors:  Zhao J.;  Zhou J.;  Liu J.
Favorite  |  View/Download:0/0  |  Submit date:2018/12/22
MDA  Petri net  Translation rule  UML  
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  
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  |  View/Download:3/0  |  Submit date:2019/02/14
Codegeneration  OCL  Prototype  Requirement validation  UML  
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:3/0  |  Submit date:2019/02/14
Consistency Checking  Semantics  Sequence Diagram  Uml2.0  
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  
Consistency checking of UML requirements Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li X.;  Liu Z.;  He J.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
Linking UML models of design and requirement Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC
Authors:  Liu J.;  Liu Z.;  He J.;  Li X.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
Consistency  Semantics  UML  
A formal semantics of UML sequence diagram Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC, Melbourne, AUSTRALIA, APR 13-16, 2004
Authors:  Li X.;  Liu Z.;  Jifeng H.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Consistency  Semantics  Sequence Diagram  Uml