UM

Browse/Search Results:  1-6 of 6 Help

Selected(0)Clear Items/Page:    Sort:
Consistency checking of UML requirements Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li X.;  Liu Z.;  He J.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite  |  View/Download:0/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
Towards the Integration of a Formal Object-Oriented Method and the Rational Unified Journal article
International Conference on Formal Engineering Methods, 2003,Page: 641-664
Authors:  Zhiming Liu;  Xiaoshan Li;  He Jifeng;  Yifeng Chen
Favorite  |  View/Download:6/0  |  Submit date:2019/05/20
Object-orientation  Uml  Use-cases  Conceptual Models  Requirement Specification  
A relational model for formal object-oriented requirement analysis in UML Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003,Volume: 2885,Page: 641
Authors:  Liu Z.;  Jifeng H.;  Li X.;  Chen Y.
Favorite  |  View/Download:3/0  |  Submit date:2018/10/30
Conceptual Models  Object-orientation  Requirement Specification  Uml  Use-cases  
Modelling and verification of a network player system with DCValid Conference paper
Proceedings - 1st Asia-Pacific Conference on Quality Software, APAQS 2000
Authors:  Wang J.;  Xu Q.;  Ma H.
Favorite  |  View/Download:0/0  |  Submit date:2019/04/04
Multimedia Systems  Real-Time  Specification and Verification  Temporal Logic  
Verifying Duration Properties of Timed Transition Systems Book chapter
出自: Programming Concepts and Methods PROCOMET ’98:Springer, Boston, MA, 1998, 页码: 327-345
Authors:  Liu, Zhiming;  Ravn, Anders;  Li, Xiaoshan
Favorite  |  View/Download:3/0  |  Submit date:2019/05/24
Real-time Systems  Duration Calculus  Timed Transition Systems  Specification  Verification