English | 繁體

Search in the results

UM

Browse/Search Results:  1-10 of 15 Help

Selected(0)Clear Items/Page:    Sort:
Cognitive Styles Underlying the Contradiction of Temporal Direction Between Chinese Qián/Hòu and Their English Counterparts Forward/Back Conference paper
Zhong Chen. Cognitive Styles Underlying the Contradiction of Temporal Direction Between Chinese Qián/Hòu and Their English Counterparts Forward/Back[C], Switzerland:Springer Nature Switzerland AG 2021, 2021, 837-849.
Authors:  Zhong Chen
Favorite | TC[WOS]:0 TC[Scopus]:0 | Submit date：2022/07/28
Object-centered Value Orientation  Ego-centered Value Orientation  Sequence-preference Cognitive Style  Ego-preference Cognitive Style  
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  
Towards a Rigorous Approach to UML-Based Development Journal article
ZhimingLiu, He Jifeng, Xiaoshan Li. Towards a Rigorous Approach to UML-Based Development[J]. Electronic Notes in Theoretical Computer Science, 2005, 130, 57–77.
Authors:  ZhimingLiu;  He Jifeng;  Xiaoshan Li
Favorite | TC[Scopus]:2 | Submit date：2019/05/20
Object-orientation  Transformation  Component-based Development  Refinement  Specification  
Towards a rigorous approach to UML-based development Conference paper
Liu Z., He J., Li X.. Towards a rigorous approach to UML-based development[C], 2005, 57-77.
Authors:  Liu Z.;  He J.;  Li X.
Favorite | TC[Scopus]:2 | Submit date：2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
Unifying views of UML Journal article
Liu Z., He J., Liu J., Li X.. Unifying views of UML[J]. Electronic Notes in Theoretical Computer Science, 2004, 101, 95-127.
Authors:  Liu Z.;  He J.;  Liu J.;  Li X.
Favorite | TC[Scopus]:12 | Submit date：2019/02/14
Object-orientation  Rup  Uml  Utp  
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  
Towards the Integration of a Formal Object-Oriented Method and the Rational Unified Journal article
Zhiming Liu, Xiaoshan Li, He Jifeng, Yifeng Chen. Towards the Integration of a Formal Object-Oriented Method and the Rational Unified[J]. International Conference on Formal Engineering Methods, 2003, 641-664.
Authors:  Zhiming Liu;  Xiaoshan Li;  He Jifeng;  Yifeng Chen
Favorite | TC[WOS]:23 TC[Scopus]:38 | Submit date：2019/05/20
Object-orientation  Uml  Use-cases  Conceptual Models  Requirement Specification