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)为支持计算机系统开发的工具的所有方面的讨论提供了一个论坛。首先,它提供了一个面向工具的连接学术研究和工业实践的纽带。工具支持开发可靠和正确的基于计算机的系统越来越重要,在计算机科学的不同领域已经开发了大量的设计方法、算法和相关工具。但是,每个领域都有自己的文化和术语,使研究人员无法利用其他领域的同事所获得的结果。工具制造者往往不知道别人所做的工作,因而无法加以应用。当考虑将新技术转移到工业实践中时,这种情况就更加严重了。
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
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