×
验证码:
换一张
Forgotten Password?
Stay signed in
Login With UMPASS
English
|
繁體
Login With UMPASS
Log In
ALL
ORCID
Title
Creator
Date Issued
Subject Area
Keyword
Document Type
Source Publication
Date Accessioned
Indexed By
Publisher
Funding Project
MOST Discipline Catalogue
Study Hall
Image search
Paste the image URL
Home
Collections
Authors
DocType
K-Map
News
Search in the results
Collection
Faculty o... [25]
Institute ... [1]
Authors
LI XIAOSH... [20]
JIN XIAO Q... [2]
FONG SIMON... [2]
WANG YITAO [1]
VONG SEAK ... [1]
YAN RU [1]
More...
Document Type
Conferenc... [20]
Journal a... [11]
论文 [3]
Date Issued
2019 [1]
2018 [1]
2017 [1]
2015 [1]
2014 [1]
2013 [1]
More...
Language
英语 [17]
英語 [13]
Source Publication
Lecture No... [5]
Electronic... [4]
Proceeding... [4]
Proceeding... [2]
2007 IEEE ... [1]
ACM SIGSOF... [1]
More...
Funding Project
Indexed By
SCI [16]
其他 [1]
Funding Organization
×
Knowledge Map
UM
Start a Submission
Submissions
Unclaimed
Claimed
Attach Fulltext
Bookmarks
Browse/Search Results:
1-10 of 34
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
Title Ascending
Title Descending
Submit date Ascending
Submit date Descending
Issue Date Ascending
Issue Date Descending
Author Ascending
Author Descending
Journal Impact Factor Ascending
Journal Impact Factor Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Integrating UML with service refinement for requirements modeling and analysis
Journal article
IEEE Access, 2019,Volume: 7,Page: 11599-11612
Authors:
Yang Y.
;
Ke W.
;
Yang J.
;
Li X.
Favorite
|
View/Download:12/0
|
TC[WOS]:
0
TC[Scopus]:
3
|
Submit date:2019/02/14
formal verification
requirements modeling
service refinement
UML
A scalable bluetooth low energy design model for sensor detection for an indoor real time location system
Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Melbourne, VIC, Australia, 7 2, 2018 - 7 5, 2018
Authors:
Pancham, Jay
;
Millham, Richard
;
Fong, Simon James
Favorite
|
View/Download:13/0
|
TC[WOS]:
0
TC[Scopus]:
0
|
Submit date:2018/11/06
Mori Cortex regulates P-glycoprotein in Caco-2 cells and colons from rats with experimental colitis via direct and gut microbiota-mediated mechanisms
Journal article
RSC ADVANCES, 2017,Volume: 7,Issue: 5,Page: 2594-2605
Authors:
Jing, Wanghui
;
Gao, Xuejiao
;
Han, Beilei
;
Wei, Bin
;
Hu, Nan
;
Li, Sai
;
Yan, Ru
;
Wang, Yitao
View
|
Adobe PDF
|
Favorite
|
View/Download:553/11
|
TC[WOS]:
6
TC[Scopus]:
6
|
Submit date:2018/10/30
Preconditioned iterative methods for twodimensional space-fractional diffusion equations
Journal article
Communications in Computational Physics, 2015,Volume: 18,Issue: 2,Page: 469-488
Authors:
Xiao-Qing Jin
;
Fu-Rong Lin
;
Zhi Zhao
Favorite
|
View/Download:14/0
|
TC[WOS]:
28
TC[Scopus]:
31
|
Submit date:2019/07/26
Fractional Diffusion Equation
Toeplitz Matrix
Fast Fourier Transform
Cn-wsgd Scheme
Preconditioned Gmres Method
Preconditioned Cgnr Method
Automated transformations from UML behavior models to contracts
Journal article
Science China Information Sciences, 2014,Volume: 57,Issue: 12,Page: 1-17
Authors:
Li, Dan
;
Li, Xiao Shan
;
Liu, Zhi Ming
;
Stolz, Volker
Favorite
|
View/Download:21/0
|
TC[WOS]:
1
TC[Scopus]:
1
|
Submit date:2018/11/06
Support formal component-based development with UML profile
Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC
Authors:
Li D.
;
Li X.
;
Liu Z.
;
Stolz V.
Favorite
|
View/Download:5/0
|
TC[WOS]:
0
TC[Scopus]:
3
|
Submit date:2019/02/14
component-based modeling
formal methods
Model-driven development
rCOS
UML profile
Translation rules and a supporting tool for model-based reuse
Conference paper
Proceedings - International Computer Software and Applications Conference
Authors:
Zhao J.
;
Zhou J.
;
Liu J.
Favorite
|
View/Download:5/0
|
TC[WOS]:
0
TC[Scopus]:
1
|
Submit date:2018/12/22
MDA
Petri net
Translation rule
UML
Model querying with graphical notation of QVT relations
Journal article
ACM SIGSOFT Software Engineering Notes, 2012,Volume: 37,Issue: 4,Page: 1-8
Authors:
Dan Li
;
Xiaoshan Li
;
Volker Stolz
Favorite
|
View/Download:17/0
|
TC[WOS]:
0
TC[Scopus]:
0
|
Submit date:2019/05/20
Graphical Model Querying
Uml
Qvt
Ocl
Xpath
AutoPA: Automatic prototyping from requirements
Conference paper
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, Heraklion, GREECE, OCT 18-21, 2010
Authors:
Li X.
;
Liu Z.
;
Schaf M.
;
Yin L.
Favorite
|
View/Download:11/0
|
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
Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, PEOPLES R CHINA, JUN 01-03, 2009
Authors:
Yin L.
;
Liu J.
;
Li X.
Favorite
|
View/Download:7/0
|
TC[WOS]:
1
TC[Scopus]:
2
|
Submit date:2019/02/14
Ocl
Requirements Model
Uml
Validation