English | 繁體

Search in the results

UM

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
Trace Semantics and Algebraic Laws for Total Store Order Memory Model Journal article
Xiao, Li Li, Zhu, Hui Biao, Xu, Qi Wen. Trace Semantics and Algebraic Laws for Total Store Order Memory Model[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2021, 36(6), 1269-1290.
Authors:  Xiao, Li Li;  Zhu, Hui Biao;  Xu, Qi Wen
Favorite | TC[WOS]:1 TC[Scopus]:3  IF:1.2/1.7 | Submit date：2022/01/14
Weak Memory Model  Total Store Order (Tso)  Trace Semantics  Algebraic Law  Unifying Theories Of Programming (Utp)  
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  
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  
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  
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