UM

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
A Software Popularity Recommendation Method Based on Evaluation Model Conference paper
Yan Wang, Pei-xiang Bai, De-yu Yang, Jian-tao Zhou, Xiaoyu Song. A Software Popularity Recommendation Method Based on Evaluation Model[C], 2018, 454-460.
Authors:  Yan Wang;  Pei-xiang Bai;  De-yu Yang;  Jian-tao Zhou;  Xiaoyu Song
Favorite | TC[WOS]:4 TC[Scopus]:5 | Submit date:2018/12/22
Evaluation Model  Recommendation  Software Popularity  Software Sharing Platform  
Effective Discrete Memetic Algorithms for Covering Array Generation Conference paper
Xv Guo, Xiaoyu Song, Jian-tao Zhou. Effective Discrete Memetic Algorithms for Covering Array Generation[C], 2018, 298-303.
Authors:  Xv Guo;  Xiaoyu Song;  Jian-tao Zhou
Favorite | TC[WOS]:4 TC[Scopus]:4 | Submit date:2018/12/22
Combinatorial Testing (Ct)  Covering Array Generation (Cag)  Memetic Algorithm (Ma)  Particle Swarm Optimization (Pso)  Simulated Annealing (Sa) Algorithm  
SMT-Based Timing Analysis and Verification of Real-Time Task Conference paper
Hai-feng Xing, Jian-tao Zhou, Xiaoyu Song, Rui-dong Qi. SMT-Based Timing Analysis and Verification of Real-Time Task[C], 2018, 711-720.
Authors:  Hai-feng Xing;  Jian-tao Zhou;  Xiaoyu Song;  Rui-dong Qi
Favorite | TC[WOS]:0 TC[Scopus]:0 | Submit date:2018/12/22
Hit/miss Classification  Iterative Optimization Algorithm  Smt  Timing Analysis  Upper Bounds On The executiOn Time  
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  
Formal and use-case driven requirement analysis in UML Journal article
Li X., Liu Z., He J.. Formal and use-case driven requirement analysis in UML[J]. Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, 2001, 215-224.
Authors:  Li X.;  Liu Z.;  He J.
Favorite | TC[WOS]:16 TC[Scopus]:31 | Submit date:2019/02/14
Conceptual Model  Incremental Model Building  Object-orientation  Uml  Use Cases