English | 繁體

Search in the results

UM

Browse/Search Results:  1-3 of 3 Help

Selected(0)Clear Items/Page:    Sort:
rCOS: A formal model-driven engineering method for component-based software Journal article
Ke W., Li X., Liu Z., Stolz V.. rCOS: A formal model-driven engineering method for component-based software[J]. Frontiers of Computer Science in China, 2012, 6(1), 17-39.
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite | TC[WOS]:11 TC[Scopus]:17 | Submit date：2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Chen Z., Li X., Liu Z., Stolz V., Yang L.. Harnessing rCOS for tool support - The CoCoME experience[C], 2007, 83-114.
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite | TC[WOS]:2 TC[Scopus]:5 | Submit date：2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design  
Integration of design and manufacturing: solving setup generation and feature sequencing using an unsupervised-learning approach Journal article
Philip Chen C.L., LeClair S.R.. Integration of design and manufacturing: solving setup generation and feature sequencing using an unsupervised-learning approach[J]. Computer-Aided Design, 1994, 26(1), 59-75.
Authors:  Philip Chen C.L.;  LeClair S.R.
Favorite | TC[WOS]:35 TC[Scopus]:50 | Submit date：2019/02/11
Associative Memory  Feature Intersection  Feature Sequencing  Feature-based Design  Self Organization  Setup Generation  Tool Sequencing  Unsupervised Learning