English | 繁體

Search in the results

UM

Browse/Search Results:  1-6 of 6 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)  
A Fully Integrated FVF-Based Low-Dropout Regulator with Wide Load Capacitance and Current Ranges Journal article
Huang,Mo, Feng,Haigang, Lu,Yan. A Fully Integrated FVF-Based Low-Dropout Regulator with Wide Load Capacitance and Current Ranges[J]. IEEE Transactions on Power Electronics, 2019, 34(12), 11880-11888.
Authors:  Huang,Mo;  Feng,Haigang;  Lu,Yan
Favorite | TC[WOS]:45 TC[Scopus]:55  IF:6.6/6.9 | Submit date：2021/03/11
Amplifier  Damping Factor Control (Dfc)  Feed-forward  Flipped Voltage Follower (Fvf)  Low-dropout Regulator (Ldo)  Output Capacitorless (Ocl)  Slew Rate Enhancement (Sre)  Super Source Follower (Ssf)  
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  
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