UM

Browse/Search Results:  1-10 of 12 Help

Selected(0)Clear Items/Page:    Sort:
Integrating UML with service refinement for requirements modeling and analysis Journal article
IEEE Access, 2019,Volume: 7,Page: 11599-11612
Authors:  Yang Y.;  Ke W.;  Yang J.;  Li X.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/14
formal verification  requirements modeling  service refinement  UML  
Periplaneta americana Ameliorates Dextran Sulfate Sodium-Induced Ulcerative Colitis in Rats by Keap1/Nrf-2 Activation, Intestinal Barrier Function, and Gut Microbiota Regulation Journal article
FRONTIERS IN PHARMACOLOGY, 2018,Volume: 9
Authors:  Ma, Xuewei;  Hu, Yichen;  Li, Xin;  Zheng, Xiaoting;  Wang, Yitao;  Zhang, Jinming;  Fu, Chaomei;  Geng, Funeng
View  |  Adobe PDF(4337Kb)  |  Favorite  |  View/Download:653/15  |  Submit date:2018/10/30
Ulcerative Colitis  Periplaneta Americana  16s Rrna  Gut Microbiota  Intestinal Immunity  
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  
Design and analysis of a totally decoupled flexure-based XY parallel micromanipulator Journal article
IEEE Transactions on Robotics, 2009,Volume: 25,Issue: 3,Page: 645
Authors:  Li Y.;  Xu Q.
View  |  Adobe PDF(1106Kb)  |  Favorite  |  View/Download:463/61  |  Submit date:2018/10/30
Dynamics  Kinematics  Mechanism Design  Micro-/nanorobots  Parallel Robots  
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