| 缩写名/全名 |
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 |
|
|