Journal of Computer Science and Technology

ISSN 1000-9000 e-ISSN 1860-4749 CN 11-2296/TP

Editor-in-Chief: Zhi-Wei Xu

Articles & Issues

Advanced Search

Keyword: refinement

Search in: this journal | the platform

Regular Paper

EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software

De-Shuai Han, Qi-Liang Yang, Jian-Chun Xing, Guang-Lian Ma

https://doi.org/10.1007/s11390-020-0499-x

Published: 30 September 2020

2020, 35 (5): 1016-1046

Regular Paper

Jupiter Made Abstract, and Then Refined

Heng-Feng Wei, Rui-Ze Tang, Yu Huang, Jian Lv

https://doi.org/10.1007/s11390-020-0516-0

Published: 30 November 2020

2020, 35 (6): 1343-1364

total 2