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  
Corporate financial distress diagnosis model and application in credit rating for listing firms in China Journal article
Ling Zhang, Edward I. Altman, Jerome Yen. Corporate financial distress diagnosis model and application in credit rating for listing firms in China[J]. FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2010, 4(2), 220-236.
Authors:  Ling Zhang;  Edward I. Altman;  Jerome Yen
Favorite | TC[WOS]:66 TC[Scopus]:67  IF:0.266/0.000 | Submit date：2019/12/10
Financial Distress  Discriminant Analysis  Listing Firms  Credit Rating  
Basic research in computer science and software engineering at SKLCS Journal article
Zhang J., Zhang W., Zhan N., Shen Y., Chen H., Zhang Y., Wang Y., Wu E., Wang H., Zhu X.. Basic research in computer science and software engineering at SKLCS[J]. Frontiers of Computer Science in China, 2008, 2(1), 1-11.
Authors:  Zhang J.;  Zhang W.;  Zhan N.;  Shen Y.;  Chen H.; et al.
Favorite | TC[Scopus]:0 | Submit date：2019/02/13
Automated Reasoning  Computer Graphics  Concurrency Theory  Formal Specification  Human-computer Interaction  Middleware  Parallel Algorithms  Real-time System  Software Process