English | 繁體

Search in the results

UM

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
A formal approach to chart patterns classification in financial time series Journal article
Yuqing Wan, Yain-Whar Si. A formal approach to chart patterns classification in financial time series[J]. Information Sciences, 2017, 411, 151-175.
Authors:  Yuqing Wan;  Yain-Whar Si
Favorite | TC[WOS]:27 TC[Scopus]:27  IF:0/0 | Submit date：2018/10/30
Chart Patterns  Formal Specification  Pattern Matching  Financial Time Series  Technical Analysis  
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  
Consistency checking of UML requirements Conference paper
Li X., Liu Z., He J.. Consistency checking of UML requirements[C], 2005, 411-420.
Authors:  Li X.;  Liu Z.;  He J.
Favorite |  | Submit date：2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
Generating a prototype from a UML model of system requirements Journal article
Li X., Liu Z., He J., Long Q.. Generating a prototype from a UML model of system requirements[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3347, 255-265.
Authors:  Li X.;  Liu Z.;  He J.;  Long Q.
Favorite |  | Submit date：2019/02/14
Code generation  Formal specification  Prototype  Requirements analysis