UM

Browse/Search Results:  1-3 of 3 Help

Filters    
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 | TC[WOS]:0 TC[Scopus]: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 | TC[WOS]:0 TC[Scopus]: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 | TC[WOS]:0 TC[Scopus]:0 | Submit date:2019/05/20
Object-orientation  Uml  Use-cases  Conceptual Models  Requirement Specification