English | 繁體

Search in the results

UM

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
Prototyping System Requirements Model Journal article
Li X., Liu Z.. Prototyping System Requirements Model[J]. Electronic Notes in Theoretical Computer Science, 2008, 207(C), 17-32.
Authors:  Li X.;  Liu Z.
Favorite | TC[WOS]:5 TC[Scopus]:7 | Submit date：2019/02/14
Prototype  System Requirements Model  Uml  
A Theory of Reactive Components Journal article
He J., Li X., Liu Z.. A Theory of Reactive Components[J]. Electronic Notes in Theoretical Computer Science, 2006, 160(1), 173.
Authors:  He J.;  Li X.;  Liu Z.
Favorite | TC[Scopus]:36 | Submit date：2018/10/30
Components  Composition  Contracts  Interfaces  Protocols  
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