English | 繁體

Search in the results

UM

Browse/Search Results:  1-10 of 34 Help

Selected(0)Clear Items/Page:    Sort:
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