International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer

INT J SOFTW TOOLS TE
影响因子:1.4
是否综述期刊:
是否预警:不在预警名单内
是否OA:
出版国家/地区:GERMANY
出版社:Springer Berlin Heidelberg
发刊时间:1997
发刊频率:6 issues per year
收录数据库:SCIE/Scopus收录
ISSN:1433-2779

期刊介绍

The International Journal on Software Tools for Technology Transfer (STTT) provides a forum for the discussion of all aspects of tools supporting the development of computer systems. It offers, above all, a tool-oriented link between academic research and industrial practice.Tool support for the development of reliable and correct computer-based systems is of growing importance, and a wealth of design methodologies, algorithms, and associated tools have been developed in different areas of computer science. However, each area has its own culture and terminology, preventing researchers from taking advantage of the results obtained by colleagues in other fields. Tool builders are often unaware of the work done by others, and thus unable to apply it. The situation is even more critical when considering the transfer of new technology into industrial practice.
技术转让软件工具国际期刊(STTT)为支持计算机系统开发的工具的所有方面的讨论提供了一个论坛。首先,它提供了一个面向工具的连接学术研究和工业实践的纽带。工具支持开发可靠和正确的基于计算机的系统越来越重要,在计算机科学的不同领域已经开发了大量的设计方法、算法和相关工具。但是,每个领域都有自己的文化和术语,使研究人员无法利用其他领域的同事所获得的结果。工具制造者往往不知道别人所做的工作,因而无法加以应用。当考虑将新技术转移到工业实践中时,这种情况就更加严重了。
年发文量 35
国人发稿量 0.85
国人发文占比 0.02%
自引率 -
平均录取率-
平均审稿周期 -
版面费 US$2780
偏重研究方向 Computer Science-Information Systems
期刊官网 https://www.springer.com/10009
投稿链接 https://equinocs.cs.tu-dortmund.de/home

期刊高被引文献

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

质量指标占比

研究类文章占比 OA被引用占比 撤稿占比 出版后修正文章占比
100.00%58.82%-4%

相关指数

影响因子
影响因子
年发文量
自引率
Cite Score

预警情况

查看说明
时间 预警情况
2025年03月发布的2025版不在预警名单中
2024年02月发布的2024版不在预警名单中
2023年01月发布的2023版不在预警名单中
2021年12月发布的2021版不在预警名单中
2020年12月发布的2020版不在预警名单中
*来源:中科院《 国际期刊预警名单》

JCR分区

WOS分区等级:Q3区
版本 按学科 分区
WOS期刊SCI分区
WOS期刊SCI分区
WOS期刊SCI分区是指SCI官方(Web of Science)为每个学科内的期刊按照IF数值排 序,将期刊按照四等分的方法划分的Q1-Q4等级,Q1代表质量最高,即常说的1区期刊。
(2024-2025年最新版)
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Q3

中科院分区

查看说明
版本 大类学科 小类学科 Top期刊 综述期刊
2025年3月最新升级版
计算机科学4区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
4区
2023年12月升级版
计算机科学3区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
3区
2022年12月旧的升级版
计算机科学3区
COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机:软件工程
3区