UM

Browse/Search Results:  1-10 of 14 Help

Selected(0)Clear Items/Page:    Sort:
rCOS: A refinement calculus of object systems Journal article
Theoretical Computer Science, 2006,Volume: 365,Issue: 2018-01-02,Page: 109
Authors:  Jifeng H.;  Li X.;  Liu Z.
Favorite  |  View/Download:2/0  |  Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp  
rCOS: Refinement of component and object systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Component-Based Development  Consistency  Object-Orientation  Refinement  Specification  
Consistent code generation from UML models Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC, Brisbane, AUSTRALIA, MAR 29-APR 01, 2005
Authors:  Long Q.;  Liu Z.;  Li X.;  Jifeng H.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/14
Code Generation  Consistency  Object Orientation  Semantics  Uml  Utp  
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:1/0  |  Submit date:2019/05/20
Object-orientation  Transformation  Component-based Development  Refinement  Specification  
Towards a rigorous approach to UML-based development Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
Unifying views of UML Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Liu J.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Object-Orientation  RUP  UML  UTP  
A relational model for object-oriented designs Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004,Volume: 3302,Page: 415
Authors:  Jifeng H.;  Liu Z.;  Li X.;  Qin S.
Favorite  |  View/Download:3/0  |  Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp  
Contract oriented development of component software Conference paper
IFIP Advances in Information and Communication Technology, Toulouse, FRANCE, AUG 22-27, 2004
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Component  Contract  Interface  Object-orientation  Refinement  
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