|
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 |
