缩写名/全名 |
SOFTW SYST MODEL
Software and Systems Modeling |
||||||||||||||||||||
ISSN号 | 1619-1366 | ||||||||||||||||||||
研究方向 | 工程技术-计算机:软件工程 | ||||||||||||||||||||
影响因子 | 2015:0.99, 2016:1.654, 2017:1.722, 2018:2.66, 2019:1.876, | ||||||||||||||||||||
出版国家 | GERMANY | ||||||||||||||||||||
出版周期 | Quarterly | ||||||||||||||||||||
年文章数 | 127 | ||||||||||||||||||||
出版年份 | 0 | ||||||||||||||||||||
是否OA | No | ||||||||||||||||||||
审稿周期(仅供参考) | >12周,或约稿 |
||||||||||||||||||||
录用比例 | 容易 | ||||||||||||||||||||
投稿链接 | https://mc.manuscriptcentral.com/sosym | ||||||||||||||||||||
投稿官网 | http://sosym.org/ | ||||||||||||||||||||
h-index | 41 | ||||||||||||||||||||
CiteScore |
|
||||||||||||||||||||
PubMed Central (PMC)链接 | http://www.ncbi.nlm.nih.gov/nlmcatalog?term=1619-1366%5BISSN%5D | ||||||||||||||||||||
中科院SCI期刊分区 ( 2018年新版本) |
|
||||||||||||||||||||
中科院SCI期刊分区 ( 2020年新版本) |
|
中国学者近期发表的论文 | |
1. | A case study on consistency management of business and IT process models in banking Author: Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Küster, Hagen Völzer Journal: Software and Systems Modeling, 2013, Vol.13, 913-940, DOI:10.1007/s10270-013-0318-8 DOI |
2. | Model synchronization based on triple graph grammars: correctness, completeness and invertibility Author: Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel Journal: Software and Systems Modeling, 2013, Vol.14, 241-269, DOI:10.1007/s10270-012-0309-1 DOI |
3. | Model-checking software library API usage rules Author: Fu Song, Tayssir Touili Journal: Software and Systems Modeling, 2015, Vol.15, 961-985, DOI:10.1007/s10270-015-0473-1 DOI |
4. | Component-based verification using incremental design and invariants Author: Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan Journal: Software and Systems Modeling, 2014, Vol.15, 427-451, DOI:10.1007/s10270-014-0410-8 DOI |
5. | SAMM: an architecture modeling methodology for ship command and control systems Author: Zhiqiang Fan, Tao Yue, Li Zhang Journal: Software and Systems Modeling, 2014, Vol.15, 71-118, DOI:10.1007/s10270-013-0393-x DOI |
6. | A model framework-based domain-specific composable modeling method for combat system effectiveness simulation Author: Xiao-bo Li, Feng Yang, Yong-lin Lei, Wei-ping Wang, Yi-fan Zhu Journal: Software and Systems Modeling, 2016, Vol.16, 1201-1222, DOI:10.1007/s10270-015-0513-x DOI |
7. | Generating process model collections Author: Zhiqiang Yan, Remco Dijkman, Paul Grefen Journal: Software and Systems Modeling, 2015, Vol.16, 979-995, DOI:10.1007/s10270-015-0497-6 DOI |
8. | Template-based model generation Author: Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Chang-Jun Hu Journal: Software and Systems Modeling, 2017, Vol., , DOI:10.1007/s10270-017-0634-5 DOI |
9. | SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines Author: Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu Journal: Software and Systems Modeling, 2017, Vol., , DOI:10.1007/s10270-017-0610-0 DOI |
10. | Scenario-based system design with colored Petri nets: an application to train control systems Author: Daohua Wu, Eckehard Schnieder Journal: Software and Systems Modeling, 2016, Vol.17, 295-317, DOI:10.1007/s10270-016-0517-1 DOI |
|
|