UM

Browse/Search Results:  1-7 of 7 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  
A formal semantics of UML sequence diagram Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC, Melbourne, AUSTRALIA, APR 13-16, 2004
Authors:  Li X.;  Liu Z.;  Jifeng H.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Consistency  Semantics  Sequence Diagram  Uml  
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  
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