UM

Browse/Search Results:  1-9 of 9 Help

Selected(0)Clear Items/Page:    Sort:
Resonant Dipolar Coupling of Microwaves with Confined Acoustic Vibrations in a Rod-shaped Virus Journal article
SCIENTIFIC REPORTS, 2017,Volume: 7
Authors:  Sun, Chi-Kuang;  Tsai, Yi-Chun;  Chen, Yi-Jan E.;  Liu, Tzu-Ming;  Chen, Hui-Yuan;  Wang, Han-Ching;  Lo, Chu-Fang
View  |  Adobe PDF(781Kb)  |  Favorite  |  View/Download:345/19  |  Submit date:2018/10/30
Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software Journal article
Gaojishu Tongxin/Chinese High Technology Letters, 2013,Volume: 23,Issue: 11,Page: 1139-1147
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite  |  View/Download:2/0  |  Submit date:2018/12/22
Colored Petri nets (CP-net)  Concurrency control  Model checking  Model validation  Network software  
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:3/0  |  Submit date:2019/02/14
component-based modeling  formal methods  Model-driven development  rCOS  UML profile  
rCOS: A formal model-driven engineering method for component-based software Journal article
Frontiers of Computer Science in China, 2012,Volume: 6,Issue: 1,Page: 17-39
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, PEOPLES R CHINA, SEP 24-25, 2007
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design  
Formal verification techniques in workflow process modeling Journal article
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2005,Volume: 42,Issue: 1,Page: 1-9
Authors:  Zhou J.;  Shi M.;  Ye X.
Favorite  |  View/Download:3/0  |  Submit date:2018/12/22
Petri net  Process modeling  Reduction  Soundness  Verification  Workflow  
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs Journal article
Formal Aspects of Computing, 2003,Volume: 15,Issue: 1,Page: 84-99
Authors:  Savi Mi;  Judi Romijn;  Carron Shankland
Favorite  |  View/Download:1/0  |  Submit date:2019/07/30
Comparative Case Study  Ieee Standard  Formal Methods  Firewire  
Formal object-oriented analysis and design of an online ticketing system Conference paper
Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC, MACAO, PEOPLES R CHINA, DEC 04-07, 2001
Authors:  Li X.;  Liu Z.;  Guo Z.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
E-commerce  Formal Techniques  Liveness  Object-orientation  Safety  Uml  
Towards a formal use of UML for software requirement analysis Conference paper
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, LAS VEGAS, NV, JUN 25-28, 2001
Authors:  Liu, ZM;  Li, XS;  He, JF
Favorite  |  View/Download:7/0  |  Submit date:2019/07/24
Conceptual Model  Use-case Models  Object-orientation  Refinement  Uml