International Journal on Software Tools for Technology Transfer
| 短名 | Int J Softw Tools Technol Transfer |
| Journal Impact | 1.17 |
| 国际分区 | COMPUTER SCIENCE, SOFTWARE ENGINEERING(Q4) |
| 期刊索引 | SCI Q3中科院 3 区 |
| ISSN | 1433-2779, 1433-2787 |
| h-index | 59 |
| 国内分区 | 计算机科学(3区)计算机科学计算机软件工程(3区) |
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (STTT) 为讨论支持计算机系统开发的工具的各个方面提供了一个论坛。最重要的是，它在学术研究和工业实践之间提供了以工具为导向的链接。对开发可靠和正确的基于计算机的系统的工具支持变得越来越重要，并且已经有大量的设计方法、算法和相关工具在计算机科学的不同领域发展。然而，每个领域都有自己的文化和术语，阻止研究人员利用其他领域同事获得的结果。工具制造者通常不知道其他人所做的工作，因此无法应用它。在考虑将新技术转移到工业实践中时，情况更加严峻。
期刊主页投稿网址| 涉及主题 | 计算机科学程序设计语言数学算法计算理论工程类操作系统理论计算机科学软件工程物理哲学人工智能模型检查软件生物统计分布式计算认识论经济 |
| 出版信息 | 出版商: Springer Verlag，出版周期: 6 issues per year，期刊类型: journal |
| 基本数据 | 创刊年份: 1997，原创研究文献占比: 100.00%，自引率:9.10%， Gold OA占比: 54.26% |
期刊引文格式
这些示例是对学术期刊文章的引用，以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章，因此这些字段是可选的。有些电子期刊不提供页面范围，而是列出文章标识符。在这种情况下，使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用，以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
State of the art in program analysis
2024-9-13
Challenges of software verification: the past, the present, the future
2024-8-30
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C
2024-8-29
User-assisted code query customization and optimization
2024-8-27
Speeding up static analysis with the split operator
2024-8-27
Sound and precise static analysis using a generalization of static single assignment and value numbering
2024-8-27
Formal analysis of an AUTOSAR-based basic software module
2024-8-5
Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers
2024-7-29
Software verification challenges in the blockchain ecosystem
2024-7-12
Axiomatising an information flow logic based on partial equivalence relations
2024-6-25
Causal analysis of positive Reaction Systems
2024-6-19
Non-numerical weakly relational domains
2024-6-14
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021
2024-6-11
Strong Simple Policies for POMDPs
2024-6-9
A verified low-level implementation and visualization of the adaptive exterior light and speed control system
2024-5-27
Validating multiple variants of an automotive light system with Alloy 6
2024-5-23
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
2024-5-17
An automotive case study
2024-5-16
Modeling of a speed control system using Event-B
2024-5-15
An Event-B model of an automotive adaptive exterior light system
2024-5-14
State of the CArt: evaluating covering array generators at scale
2024-5-6
Rance Cleaveland: a life for formal methods
2024-5-2
Certification of avionic software based on machine learning: the case for formal monotony analysis
2024-3-12
Monitoring of spatio-temporal properties with nonlinear SAT solvers
2024-2-22
Formally verifying decompositions of stochastic specifications
2024-2-21
Deductive verification of smart contracts with Dafny
2024-2-20
Reusable formal models for concurrency and communication in custom real-time operating systems
2024-2-20
Generating interactive documents for domain-specific validation of formal models
2024-2-20
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense
2024-2-19
Formal Methods for Industrial Critical Systems
2024-2-15
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool
2024-2-8
A process for creating KDM2PSM transformation engines
2024-1-26
A causal, time-independent synchronization pattern for collective adaptive systems
2023-11-24
A modal approach to conscious social agents
2023-11-14
Rigorous engineering of collective adaptive systems – 2nd special section
2023-11-14
Generating adaptation rule-specific neural networks
2023-11-7
Coordinating and programming multiple ROS-based robots with X-KLAIM
2023-11-2
Comparing perfomance abstractions for collective adaptive systems
2023-11-2
Machine-learning abstractions for component-based self-optimizing systems
2023-11-2
Modelling flocks of birds and colonies of ants from the bottom up
2023-11-2
Language support for verifying reconfigurable interacting systems
2023-11-2
A kinetic approach to investigate the collective dynamics of multi-agent systems
2023-11-2
A toolchain for strategy synthesis with spatial properties
2023-11-2
Correct by design coordination of autonomous driving systems
2023-11-2
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics
2023-10-5
Publisher Correction: Algorithm selection for SMT
2023-8-14
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs
2023-8-1
Predicate monitoring in distributed cyber-physical systems
2023-8-1
A compositional framework for algebraic quantitative online monitoring over continuous-time signals
2023-8-1
Introduction to the Special Issue on Runtime Verification
2023-8-1
帮你贴心管理全部的文献
研飞ivySCI，高效的论文管理
投稿经验分享
分享我的经验，帮你走得更远