《International Journal On Software Tools For Technology Transfer》重点专注发布Computer Science-Information Systems领域的新研究，旨在促进和传播该领域相关的新技术和新知识。鼓励该领域研究者详细地发表他们的高质量实验研究和理论结果。该杂志创刊至今，在Computer Science-Information Systems领域，有较高影响力，对来稿文章质量要求较高，稿件投稿过审难度较大。欢迎广大同领域研究者投稿该杂志。
| CiteScore | SJR | SNIP | CiteScore排名 | |||
|---|---|---|---|---|---|---|
| 4.5 | 0.524 | 1.266 | 学科类别 | 分区 | 排名 | 百分位 |
|
大类：大类：ComputerScience
小类：小类：InformationSystems
|
Q2 | 155/394 | 60% | |||
|
大类：大类：ComputerScience
小类：小类：Software
|
Q2 | 192/407 | 52% | |||
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q4 | 101 / 131 | 23.3% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
|---|---|---|---|---|
| 学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING | SCIE | Q3 | 86 / 131 | 34.73% |
文章名称
引用次数
Mining parametric temporal logic properties in model-based design for cyber-physical systems
4
Spatio-temporal model checking of vehicular movement in public transport systems
4
Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B
3
Exact finite-state machine identification from scenarios and temporal properties
2
Towards formal methods diversity in railways: an experience report with seven frameworks
2
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
2
Reliable benchmarking: requirements and solutions
2
Automated translation of VDM to JML-annotated Java
2
Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction
2
Symmetry reduction in CSP model checking
2
国家/地区
发文量
TGERMANY (FED REP GER)
36
TFrance
28
TUSA
18
TEngland
16
TItaly
16
TCanada
11
TAustria
9
TCzech Republic
9
TDenmark
9
TNetherlands
9
