缩写名/全名 |
SCI COMPUT PROGRAM
SCIENCE OF COMPUTER PROGRAMMING |
||||||||||||||||
ISSN号 | 0167-6423 | ||||||||||||||||
研究方向 | 工程技术-计算机:软件工程 | ||||||||||||||||
影响因子 | 2015:0.828, 2016:1.064, 2017:0.74, 2018:1.088, 2019:0.775, | ||||||||||||||||
出版国家 | NETHERLANDS | ||||||||||||||||
出版周期 | Monthly | ||||||||||||||||
年文章数 | 72 | ||||||||||||||||
出版年份 | 0 | ||||||||||||||||
是否OA | No | ||||||||||||||||
审稿周期(仅供参考) | 较慢,6-12周 来源Elsevier官网:平均27.2周 |
||||||||||||||||
录用比例 | 容易 | ||||||||||||||||
投稿链接 | http://ees.elsevier.com/scico/ | ||||||||||||||||
投稿官网 | http://www.journals.elsevier.com/science-of-computer-programming/ | ||||||||||||||||
h-index | 59 | ||||||||||||||||
CiteScore |
|
||||||||||||||||
PubMed Central (PMC)链接 | http://www.ncbi.nlm.nih.gov/nlmcatalog?term=0167-6423%5BISSN%5D | ||||||||||||||||
中科院SCI期刊分区 ( 2018年新版本) |
|
||||||||||||||||
中科院SCI期刊分区 ( 2020年新版本) |
|
中国学者近期发表的论文 | |
1. | Understanding software developers' cognition in agile requirements engineering Author: Jingdong Jia, Xiaoying Yang, Rong Zhang, Xi Liu Journal: SCIENCE OF COMPUTER PROGRAMMING, 2019, Vol., , DOI:10.1016/j.scico.2019.03.005 DOI |
2. | A hierarchical verification approach to verify complex safety control systems based on STAMP Author: Xiao Han, Tao Tang, Jidong Lv Journal: SCIENCE OF COMPUTER PROGRAMMING, 2018, Vol.172, 117-134, DOI:10.1016/j.scico.2018.11.006 DOI |
3. | Reasoning about connectors using Coq and Z3 Author: Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun Journal: SCIENCE OF COMPUTER PROGRAMMING, 2018, Vol.170, 27-44, DOI:10.1016/j.scico.2018.10.002 DOI |
4. | Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation Author: Jie Yin, Gang Tan, Hao Li, Xiaolong Bai, Yu-Ping Wang, Shi-Min Hu Journal: SCIENCE OF COMPUTER PROGRAMMING, 2018, Vol.169, 18-32, DOI:10.1016/j.scico.2018.09.005 DOI |
5. | Periodic scheduling for MARTE/CCSL: Theory and practice Author: Min Zhang, Feng Dai, Frédéric Mallet Journal: SCIENCE OF COMPUTER PROGRAMMING, 2018, Vol.154, 42-60, DOI:10.1016/j.scico.2017.08.015 DOI |
6. | Automated specification inference in a combined domain via user-defined predicates Author: Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming Journal: SCIENCE OF COMPUTER PROGRAMMING, 2017, Vol.148, 189-212, DOI:10.1016/j.scico.2017.05.007 DOI |
7. | Inferring software behavioral models with MapReduce Author: Chen Luo, Fei He, Carlo Ghezzi Journal: SCIENCE OF COMPUTER PROGRAMMING, 2017, Vol.145, 13-36, DOI:10.1016/j.scico.2017.04.004 DOI |
8. | Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines Author: Richard Banach, Michael Butler, Shengchao Qin, Huibiao Zhu Journal: SCIENCE OF COMPUTER PROGRAMMING, 2017, Vol.139, 1-35, DOI:10.1016/j.scico.2016.12.003 DOI |
9. | On tackling quality threats for the assessment of measurement programs: A case study on the distribution of metric usage and knowledge Author: Regina Hebig, Haoyu Wang Journal: SCIENCE OF COMPUTER PROGRAMMING, 2017, Vol.135, 45-74, DOI:10.1016/j.scico.2016.09.006 DOI |
10. | Formal development of multi-agent systems using MAZE Author: Qin Li, Graeme Smith Journal: SCIENCE OF COMPUTER PROGRAMMING, 2016, Vol.131, 126-150, DOI:10.1016/j.scico.2016.04.008 DOI |
|
|