• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

德国
投稿预审
International Journal on Software Tools for Technology Transfer 中科院4区 JCR:Q3 SCIE EI PubMed JST
发文量 1,115
被引量 27,368
影响因子(2025版) 0.672

The International Journal on Software Tools for Technology Transfer (STTT) has provided since 1997 a forum for research and experience papers on tools that support the development and verification of computer systems. STTT emphasizes work that takes rigorous, semantics-based, and formal approaches to tools and system development. To facilitate technology transfer and to offer a tool-oriented link between academic research and industrial practice, STTT seeks work that applies tools to realistic systems and that considers the broader workflows and tool chains needed to develop systems in industrial contexts.

  • 主办单位： SPRINGER HEIDELBERG
  • 出版地区： HEIDELBERG
  • 出版周期： 双月刊
  • 别名： INT J SOFTW TOOLS TE;Int. J. Softw. Tools Technol. Transf.;国际技术转让软件工具杂志;INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 国际标准连续出版物号/电子版： ISSN 1433-2779 / EISSN 1433-2787
  • 创刊时间： 1997年
  • 曾用名： Software concepts & tools
热门主题：

时态逻辑静态检测形式化技术PETRI网模型模型校核软件测试运行时验证原理验证嵌入式微处理机形式规格说明符号模型检验模型检测器定时自动机软件审核统计模型检验状态矢量空间有色Petri网源程序验证形式化校验有界模型验证

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
目录
封面
2026年3期

2026年3期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号