UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
rCOS: A Relational Calculus of Components Journal article
World Scientific Press, 2006,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite  |  View/Download:3/0  |  Submit date:2019/07/30
A Relational Calculus of Components Journal article
Book Series: Series on Component-Based Software Development, 2006,Volume: 2,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite  |  View/Download:3/0  |  Submit date:2019/07/30
Towards a Rigorous Approach to UML-Based Development Journal article
Electronic Notes in Theoretical Computer Science, 2005,Volume: 130,Page: 57–77
Authors:  ZhimingLiu;  He Jifeng;  Xiaoshan Li
Favorite  |  View/Download:6/0  |  Submit date:2019/05/20
Object-orientation  Transformation  Component-based Development  Refinement  Specification  
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:7/0  |  Submit date:2019/05/20
Object-orientation  Uml  Use-cases  Conceptual Models  Requirement Specification