English | 繁體

Search in the results

UM

Browse/Search Results:  1-5 of 5 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: Requirements validation through automatic prototyping Conference paper
Yang, Yilong, Ke, Wei, Li, Xiaoshan. RM2PT: Requirements validation through automatic prototyping[C], 2019, 484-485.
Authors:  Yang, Yilong;  Ke, Wei;  Li, Xiaoshan
Favorite | TC[WOS]:12 TC[Scopus]:16 | Submit date：2022/05/17
Consistency Checking  Prototype  Prototyping  Requirements  Requirements Validation  
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  
AutoPA: Automatic prototyping from requirements Conference paper
Li X., Liu Z., Schaf M., Yin L.. AutoPA: Automatic prototyping from requirements[C], 2010, 609-624.
Authors:  Li X.;  Liu Z.;  Schaf M.;  Yin L.
Favorite | TC[WOS]:3 TC[Scopus]:7 | Submit date：2019/02/14
Formal Semantics  Prototyping  Requirements Models  Validation  
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