UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-6 of 6 Help

Filters            
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:7/0 | TC[WOS]:49 TC[Scopus]:73 | Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp  
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:10/0 | TC[WOS]:7 TC[Scopus]:25 | 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:9/0 | TC[WOS]:19 TC[Scopus]: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:7/0 | TC[WOS]:0 TC[Scopus]:13 | 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:8/0 | TC[WOS]:14 TC[Scopus]: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:7/0 | TC[WOS]:19 TC[Scopus]:30 | Submit date:2018/10/30
Conceptual Models  Object-orientation  Requirement Specification  Uml  Use-cases