English | 繁體

Search in the results

UM

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
Support formal component-based development with UML profile Conference paper
Li D., Li X., Liu Z., Stolz V.. Support formal component-based development with UML profile[C], 2013, 191-200.
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite | TC[WOS]:3 TC[Scopus]:4 | Submit date：2019/02/14
Component-based Modeling  Formal Methods  Model-driven Development  Rcos  Uml Profile  
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  
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  
Teaching Architectural Approach to Quality Software Development through Problem-Based Learning Conference paper
Vat, K.H.. Teaching Architectural Approach to Quality Software Development through Problem-Based Learning[C], 2002.
Authors:  Vat, K.H.
Favorite | TC[Scopus]:0 | Submit date：2019/07/24
Quality Software Development  Component-based Development  Problem-based Learning