UM

Browse/Search Results:  1-4 of 4 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: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:11/0 | TC[WOS]:7 TC[Scopus]:25 | Submit date:2019/02/14
Code Generation  Consistency  Object Orientation  Semantics  Uml  Utp  
Unifying views of UML Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Liu J.;  Li X.
Favorite | View/Download:6/0 | TC[WOS]:0 TC[Scopus]:9 | 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:7/0 | TC[WOS]:0 TC[Scopus]:13 | Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp