English | 繁體

Search in the results

UM

Browse/Search Results:  1-10 of 23 Help

Selected(0)Clear Items/Page:    Sort:
Automated Prototype Generation from Formal Requirements Model Journal article
Yang, Yilong, Li, Xiaoshan, Ke, Wei, Liu, Zhiming. Automated Prototype Generation from Formal Requirements Model[J]. IEEE Transactions on Reliability, 2020, 69(2), 632-656.
Authors:  Yang, Yilong;  Li, Xiaoshan;  Ke, Wei;  Liu, Zhiming
Favorite | TC[WOS]:16 TC[Scopus]:24  IF:5.0/5.2 | Submit date：2021/12/06
Formal Requirements Model  Object Constraint Language (Ocl)  Prototype  Requirements  Requirements Model  Requirements Validation  Unified Modeling Language (Uml)  
RM2PT: A tool for automated prototype generation from requirements model Conference paper
Yang, Yilong, Li, Xiaoshan, Liu, Zhiming, Ke, Wei. RM2PT: A tool for automated prototype generation from requirements model[C], IEEE, 345 E 47TH ST, NEW YORK, NY 10017 USA:IEEE, 2019, 59-62.
Authors:  Yang, Yilong;  Li, Xiaoshan;  Liu, Zhiming;  Ke, Wei
Favorite | TC[WOS]:14 TC[Scopus]:23 | Submit date：2022/04/15
Prototype  Code Generation  Requirements Model  Requirements Validation  Uml  Ocl  
Real-Time System Modeling and Verification Through Labeled Transition System Analyzer Journal article
Yang, Yilong, Zu, Quan, Ke, Wei, Zhang, Miaomiao, Li, Xiaoshan. Real-Time System Modeling and Verification Through Labeled Transition System Analyzer[J]. IEEE Access, 2019, 7, 26314-26323.
Authors:  Yang, Yilong;  Zu, Quan;  Ke, Wei;  Zhang, Miaomiao;  Li, Xiaoshan
Favorite | TC[WOS]:2 TC[Scopus]:3  IF:3.4/3.7 | Submit date：2022/05/23
Ltsa  Model Checking  Steam Boiler  Uml  
Integrating UML with service refinement for requirements modeling and analysis Journal article
Yang Y., Ke W., Yang J., Li X.. Integrating UML with service refinement for requirements modeling and analysis[J]. IEEE Access, 2019, 7, 11599-11612.
Authors:  Yang Y.;  Ke W.;  Yang J.;  Li X.
Favorite | TC[WOS]:1 TC[Scopus]:8 | Submit date：2019/02/14
Formal Verification  Requirements Modeling  Service Refinement  Uml  
Support formal component-based development with UML profile Conference paper
Li D., Li X., Liu Z., Stolz V.. Support formal component-based development with UML profile[C], 2013, 191-200.
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2019/02/14
Component-based Modeling  Formal Methods  Model-driven Development  Rcos  Uml Profile  
Translation rules and a supporting tool for model-based reuse Conference paper
Zhao J., Zhou J., Liu J.. Translation rules and a supporting tool for model-based reuse[C], 2012, 310-315.
Authors:  Zhao J.;  Zhou J.;  Liu J.
Favorite | TC[Scopus]:1 | Submit date：2018/12/22
MDA  Petri net  Translation rule  UML  
Model querying with graphical notation of QVT relations Journal article
Dan Li, Xiaoshan Li, Volker Stolz. Model querying with graphical notation of QVT relations[J]. ACM SIGSOFT Software Engineering Notes, 2012, 37(4), 1-8.
Authors:  Dan Li;  Xiaoshan Li;  Volker Stolz
Favorite | TC[Scopus]:0 | Submit date：2019/05/20
Graphical Model Querying  Uml  Qvt  Ocl  Xpath  
Validating requirements model of a B2B system Conference paper
Yin L., Liu J., Li X.. Validating requirements model of a B2B system[C], 2009, 1020-1025.
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 Journal article
Li D., Li X., Liu J., Liu Z.. Validation of requirement models by automatic prototyping[J]. Innovations in Systems and Software Engineering, 2008, 4(3), 241-248.
Authors:  Li D.;  Li X.;  Liu J.;  Liu Z.
Favorite | TC[WOS]:3 TC[Scopus]:12 | Submit date：2019/02/14
Codegeneration  Ocl  Prototype  Requirement Validation  Uml  
Prototyping System Requirements Model Journal article
Li X., Liu Z.. Prototyping System Requirements Model[J]. Electronic Notes in Theoretical Computer Science, 2008, 207(C), 17-32.
Authors:  Li X.;  Liu Z.
Favorite | TC[WOS]:5 TC[Scopus]:7 | Submit date：2019/02/14
Prototype  System Requirements Model  Uml