×
验证码:
换一张
Forgotten Password?
Stay signed in
Login With UMPASS
English
|
繁體
Login With UMPASS
Log In
ALL
ORCID
TI
AU
PY
SU
KW
TY
JN
DA
IN
PB
FP
ST
SM
Study Hall
Image search
Paste the image URL
Home
Faculties & Institutes
Scholars
Publications
Subjects
Statistics
News
Search in the results
Faculties & Institutes
Faculty of Scien... [1]
Authors
LI XIAOSHAN [1]
Document Type
Conference paper [4]
Journal article [1]
Date Issued
2018 [3]
2012 [1]
2001 [1]
Language
英語English [4]
Source Publication
Proceedings - In... [4]
Proceedings - IE... [1]
Indexed By
SCIE [1]
Funding Organization
Funding Project
×
Knowledge Map
UM
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
Browse/Search Results:
1-5 of 5
Help
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Issue Date Ascending
Issue Date Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Submit date Ascending
Submit date Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
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