International Journal On Software Tools For Technology Transfer SCIE

国际简称：INT J SOFTW TOOLS TE 参考译名：国际技术转让软件工具杂志

主要研究方向：Computer Science-Information Systems 非预警期刊审稿周期：

《国际技术转让软件工具杂志》(International Journal On Software Tools For Technology Transfer)是一本由Springer Berlin Heidelberg出版的以Computer Science-Information Systems为研究特色的国际期刊，发表该领域相关的原创研究文章、评论文章和综述文章，及时报道该领域相关理论、实践和应用学科的最新发现，旨在促进该学科领域科学信息的快速交流。该期刊是一本未开放期刊，近三年没有被列入预警名单。

3区中科院分区
Q4 JCR分区
42 年发文量
1.1 IF影响因子
未开放 是否OA
50 H-index
1997 创刊年份
6 issues per year 出版周期
German 出版语言

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.

[ 查看全部 ]

投稿咨询加急咨询

International Journal On Software Tools For Technology Transfer期刊信息

ISSN：1433-2779
出版语言：German
是否OA：未开放
E-ISSN：1433-2787
出版地区：GERMANY
是否预警：否
出版商：Springer Berlin Heidelberg
出版周期：6 issues per year
创刊时间：1997
开源占比：0.4583
Gold OA文章占比：54.26%
OA被引用占比：0.2187...
出版国人文章占比：0.02
出版撤稿占比：0
研究类文章占比：100.00%

International Journal On Software Tools For Technology Transfer CiteScore评价数据（2024年最新版）

CiteScore

SJR

SNIP

CiteScore 指数

4.5

0.524

1.266

学科类别	分区	排名	百分位
大类：Computer Science 小类：Information Systems	Q2	155 / 394	60%
大类：Computer Science 小类：Software	Q2	192 / 407	52%

名词解释：CiteScore 是衡量期刊所发表文献的平均受引用次数，是在 Scopus 中衡量期刊影响力的另一个指标。当年CiteScore 的计算依据是期刊最近4年（含计算年度）的被引次数除以该期刊近四年发表的文献数。例如，2022年的 CiteScore 计算方法为：2022年的 CiteScore =2019-2022年收到的对2019-2022年发表的文件的引用数量÷2019-2022年发布的文献数量注：文献类型包括：文章、评论、会议论文、书籍章节和数据论文。

International Journal On Software Tools For Technology Transfer中科院评价数据

中科院 2023年12月升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程	3区

中科院 2022年12月升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程	3区

中科院 2021年12月旧的升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程	3区

中科院 2021年12月基础版

Top期刊	综述期刊	大类学科		小类学科
否	否	工程技术	4区	COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程	4区

中科院 2021年12月升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程	3区

中科院 2020年12月旧的升级版

Top期刊	综述期刊	大类学科		小类学科
否	否	计算机科学	3区	COMPUTER SCIENCE, SOFTWARE ENGINEERING 计算机：软件工程	3区

International Journal On Software Tools For Technology Transfer JCR评价数据（2023-2024年最新版）

按JIF指标学科分区	收录子集	分区	排名	百分位
学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING	SCIE	Q4	101 / 131	23.3%

按JCI指标学科分区	收录子集	分区	排名	百分位
学科：COMPUTER SCIENCE, SOFTWARE ENGINEERING	SCIE	Q3	86 / 131	34.73%

International Journal On Software Tools For Technology Transfer历年数据统计

影响因子

中科院分区

International Journal On Software Tools For Technology Transfer中国学者发文选摘

1、Automated verification of the FreeRTOS scheduler in <Emphasis Type="SmallCaps">Hip/Sleek</Emphasis>
Author: João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin

Journal: International Journal on Software Tools for Technology Transfer, 2014, Vol.16, 381-397, DOI:10.1007/s10009-014-0307-4
2、Expressive program verification via structured specifications
Author: Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin

Journal: International Journal on Software Tools for Technology Transfer, 2014, Vol.16, 363-380, DOI:10.1007/s10009-014-0306-5
3、Pushdown model checking for malware detection
Author: Fu Song, Tayssir Touili

Journal: International Journal on Software Tools for Technology Transfer, 2013, Vol.16, 147-173, DOI:10.1007/s10009-013-0290-1
4、Formal verification and simulation for platform screen doors and collision avoidance in subway control systems
Author: Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David

Journal: International Journal on Software Tools for Technology Transfer, 2014, Vol.16, 339-361, DOI:10.1007/s10009-014-0318-1
5、Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B
Author: Chunyan Fu, Kougen Zheng

Journal: International Journal on Software Tools for Technology Transfer, 2017, Vol., , DOI:10.1007/s10009-017-0463-4
6、<Emphasis Type="Italic">RAMBUTANS</Emphasis>: automatic AOP-specific test generation tool
Author: Reza Meimandi Parizi, Abdul Azim Abdul Ghani, Sai Peck Lee, Saif Ur Rehman Khan

Journal: International Journal on Software Tools for Technology Transfer, 2016, Vol.19, 743-761, DOI:10.1007/s10009-016-0432-3
7、Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
Author: Wen Su, Jean-Raymond Abrial

Journal: International Journal on Software Tools for Technology Transfer, 2015, Vol.19, 141-166, DOI:10.1007/s10009-015-0400-3
8、Integrated formal verification of safety-critical software
Author: Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau

Journal: International Journal on Software Tools for Technology Transfer, 2017, Vol.20, 423-440, DOI:10.1007/s10009-017-0475-0