UM

Browse/Search Results:  1-6 of 6 Help

Filters    
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  
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  
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  
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