Software and Systems Modeling

SCI期刊
Software and Systems Modeling
中文名称:
软件和系统建模
期刊缩写:
SOFTW SYST MODEL
影响因子:
2
ISSN:
print: 1619-1366
on-line: 1619-1374
研究领域:
工程技术-计算机:软件工程
创刊年份:
2002年
h-index:
41
自引率:
20.00%
Gold OA文章占比:
53.04%
原创研究文献占比:
94.95%
SCI收录类型:
Science Citation Index Expanded (SCIE) || Scopus (CiteScore)
期刊介绍英文:
We invite authors to submit papers that discuss and analyze research challenges and experiences pertaining to software and system modeling languages, techniques, tools, practices and other facets. The following are some of the topic areas that are of special interest, but the journal publishes on a wide range of software and systems modeling concerns: Domain-specific models and modeling standards; Model-based testing techniques; Model-based simulation techniques; Formal syntax and semantics of modeling languages such as the UML; Rigorous model-based analysis; Model composition, refinement and transformation; Software Language Engineering; Modeling Languages in Science and Engineering; Language Adaptation and Composition; Metamodeling techniques; Measuring quality of models and languages; Ontological approaches to model engineering; Generating test and code artifacts from models; Model synthesis; Methodology; Model development tool environments; Modeling Cyberphysical Systems; Data intensive modeling; Derivation of explicit models from data; Case studies and experience reports with significant modeling lessons learned; Comparative analyses of modeling languages and techniques; Scientific assessment of modeling practices
CiteScore:
CiteScoreSJRSNIPCiteScore排名
6.00.8401.586
学科
排名
百分位
大类:Mathematics
小类:Modeling and Simulation
55 / 324
83%
大类:Computer Science
小类:Software
139 / 407
65%
发文信息
中科院SCI期刊分区
大类 小类 TOP期刊 综述期刊
3区 计算机科学
3区 计算机:软件工程 COMPUTER SCIENCE, SOFTWARE ENGINEERING
WOS期刊分区
学科分类
Q3COMPUTER SCIENCE, SOFTWARE ENGINEERING
历年影响因子
2016年0.9900
2017年1.6540
2018年1.7220
2019年2.6600
2020年1.9100
2021年2.2110
2022年2.0000
2023年2.0000
历年发表
2012年77
2013年88
2014年53
2015年63
2016年62
2017年74
2018年57
2019年64
2020年66
2021年109
2022年104
投稿信息
出版周期:
Quarterly
出版语言:
English
出版国家(地区):
GERMANY
审稿时长:
>12 weeks
出版商:
Springer Berlin Heidelberg
编辑部地址:
SPRINGER HEIDELBERG, TIERGARTENSTRASSE 17, HEIDELBERG, GERMANY, D-69121

Software and Systems Modeling - 最新文献

Quantitative modelling and analysis of BDI agents

Pub Date : 2023-08-28 DOI: 10.1007/s10270-023-01121-5 B. Archibald, M. Calder, Michele Sevegnani, Mengwei Xu

Analyzing the impact of human errors on interactive service robotic scenarios via formal verification

Pub Date : 2023-08-17 DOI: 10.1007/s10270-023-01125-1 Livia Lestingi, Andrea Manglaviti, D. Marinaro, Luca Marinello, M. Askarpour, M. Bersani, M. Rossi

Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis

Pub Date : 2023-08-11 DOI: 10.1007/s10270-023-01122-4 A. Cimatti, Luca Geatti, N. Gigante, A. Montanari, Stefano Tonetta
查看全部
免责声明:
本页显示期刊或杂志信息,仅供参考学习,不是任何期刊杂志官网,不涉及出版事务,特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题,请联系我们,邮箱:info@booksci.cn,我们会认真核实处理。
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信