English | 繁體

Search in the results

UM

Browse/Search Results:  1-4 of 4 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  
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  
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