International Journal on Software Tools for Technology Transfer
ISSN:1433-2779

International Journal on Software Tools for Technology Transfer

INT J SOFTW TOOLS TE
学科领域:计算机科学
是否预警:不在预警名单内
是否OA:
录用周期:-
新锐分区:计算机科学4区
年发文量:35
影响因子:1.4
JCR分区:Q3

基本信息

技术转让软件工具国际期刊(STTT)为支持计算机系统开发的工具的所有方面的讨论提供了一个论坛。首先,它提供了一个面向工具的连接学术研究和工业实践的纽带。工具支持开发可靠和正确的基于计算机的系统越来越重要,在计算机科学的不同领域已经开发了大量的设计方法、算法和相关工具。但是,每个领域都有自己的文化和术语,使研究人员无法利用其他领域的同事所获得的结果。工具制造者往往不知道别人所做的工作,因而无法加以应用。当考虑将新技术转移到工业实践中时,这种情况就更加严重了。
1433-2779SCIE/Scopus收录
1.4
1.5
2026年3月发布
点击查看历史分区趋势    >
大类学科小类学科Top期刊综述期刊
计算机科学4区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
4区
N/A
WOS期刊SCI分区  2024-2025最新升级版
按JIF指标学科分区收集子录JIF分区JIF排名百分位
学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING
SCIE
Q3
88/129
按JCR指标学科分区收集子录JCR分区JCR排名百分位
学科:COMPUTER SCIENCE, SOFTWARE ENGINEERING
SCIE
Q3
73/129
50
35
2%---Computer Science-Information Systems
0%
时间预警情况
2026年03月发布的新锐学术版不在预警名单中
2025年03月发布的2025版不在预警名单中
2024年02月发布的2024版不在预警名单中
2023年01月发布的2023版不在预警名单中
2021年12月发布的2021版不在预警名单中
2020年12月发布的2020版不在预警名单中
100.00%58.82%4%
CiteScore:4.30
SJR:0.376
SNIP:1.131
学科类别分区排名百分位
大类:Computer Science
小类:Information Systems
Q2
187 / 474
大类:Computer Science
小类:Software
Q2
213 / 490

期刊高被引文献

An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00509-3
Spatial logics and model checking for medical imaging
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00511-9
The ABZ-2018 case study with Event-B
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00525-3
Model-based testing of apps in real network scenarios
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00518-2
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00540-4
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00542-2
Diversity of graph models and graph generators in mutation testing
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00530-6
Joint forces for memory safety checking revisited
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00526-2
Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00531-5
Symmetry reduction in CSP model checking
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00516-4
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00548-w
Quantitative variability modelling and analysis
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00535-1
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
来源期刊:DOI:
Static generation of UML sequence diagrams
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00545-z
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00543-1
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00539-x
Variable order metrics for decision diagrams in system verification
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00522-6
Introduction to Selected Papers from SPIN 2017
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00515-5
Detecting multiphase linear ranking functions for single-path linear-constraint loops
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/S10009-019-00527-1
ASAP: A Source Code Authorship Program
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00517-3
Model-based software quality assurance tools and techniques presented at FASE 2018
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00541-3
Learning Moore machines from input–output traces
来源期刊:International Journal on Software Tools for Technology TransferDOI:10.1007/s10009-019-00544-0

相关文章

2026年3月发布
大类学科小类学科Top期刊综述期刊
计算机科学4区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
4区
N/A
2025年3月升级版
大类学科小类学科Top期刊综述期刊
计算机科学4区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
4区
2023年12月旧的升级版
大类学科小类学科Top期刊综述期刊
计算机科学3区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
3区