English | 繁體

Search in the results

UM

Browse/Search Results:  1-7 of 7 Help

Selected(0)Clear Items/Page:    Sort:
rCOS: A refinement calculus of object systems Journal article
Jifeng H., Li X., Liu Z.. rCOS: A refinement calculus of object systems[J]. Theoretical Computer Science, 2006, 365(2018-01-02), 109.
Authors:  Jifeng H.;  Li X.;  Liu Z.
Favorite | TC[WOS]:54 TC[Scopus]:86 | Submit date：2018/10/30
Object Orientation  Refinement  Semantics  Utp  
rCOS: Refinement of component and object systems Conference paper
Liu Z., Jifeng H., Li X.. rCOS: Refinement of component and object systems[C], 2005, 183-221.
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite |  | Submit date：2019/02/14
Component-Based Development  Consistency  Object-Orientation  Refinement  Specification  
Consistent code generation from UML models Conference paper
Long Q., Liu Z., Li X., Jifeng H.. Consistent code generation from UML models[C], 2005, 23-30.
Authors:  Long Q.;  Liu Z.;  Li X.;  Jifeng H.
Favorite | TC[WOS]:10 TC[Scopus]:29 | Submit date：2019/02/14
Code Generation  Consistency  Object Orientation  Semantics  Uml  Utp  
A formal semantics of UML sequence diagram Conference paper
Li X., Liu Z., Jifeng H.. A formal semantics of UML sequence diagram[C], 2004, 168-177.
Authors:  Li X.;  Liu Z.;  Jifeng H.
Favorite | TC[WOS]:30 TC[Scopus]:59 | Submit date：2019/02/14
Consistency  Semantics  Sequence Diagram  Uml  
Contract oriented development of component software Conference paper
Liu Z., Jifeng H., Li X.. Contract oriented development of component software[C], 2004, 349-365.
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite | TC[WOS]:15 TC[Scopus]:13 | Submit date：2019/02/14
Component  Contract  Interface  Object-orientation  Refinement  
A relational model for object-oriented designs Journal article
Jifeng H., Liu Z., Li X., Qin S.. A relational model for object-oriented designs[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3302, 415.
Authors:  Jifeng H.;  Liu Z.;  Li X.;  Qin S.
Favorite | TC[WOS]:11 TC[Scopus]:18 | Submit date：2018/10/30
Object Orientation  Refinement  Semantics  Utp  
A relational model for formal object-oriented requirement analysis in UML Journal article
Liu Z., Jifeng H., Li X., Chen Y.. A relational model for formal object-oriented requirement analysis in UML[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2885, 641.
Authors:  Liu Z.;  Jifeng H.;  Li X.;  Chen Y.
Favorite | TC[WOS]:23 TC[Scopus]:38 | Submit date：2018/10/30
Conceptual Models  Object-orientation  Requirement Specification  Uml  Use-cases