The International Journal on Software Tools for Technology Transfer (STTT) provides a forum discussing all aspects of tools that aid in the development of computer systems. In particular, it offers a tool-oriented link between academic research and industrial practice. STTT publishes accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques. It channels comments, queries, and feedback on tools and papers to its Online Forum, publishing highlights electronically. It enables even non-experts to experiment with the integrated tools via the Electronic Tool Integration (ETI) platform. STTT addresses a heterogeneous audience, emphasizing clear, jargon-free exposition. STTT focuses on three major technical themes: construction and analysis issues; practicality issues; and generic tool issues.
International Journal on Software Tools for Technology Transfer
Description
Identifiers
ISSN | 1433-2779 |
e-ISSN | 1433-2787 |
DOI | 10.1007/10009.1433-2787 |
Publisher
Springer Berlin Heidelberg
Additional information
Data set: Springer
Articles
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 6 > 607-612
Over the last decade, the explicit introduction and management of variability in the development cycle of (software) systems has led to a plethora of modelling and analysis techniques tailored to deal with such highly configurable (variational) systems. Most of the work on Variability Modelling and Analysis, however, focusses on qualitative (i.e. functional) requirements. This Special Section of the...
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 6 > 651-666
Ever-increasing bit flip rates caused by shrinking hardware tiles increase the demand for resilient systems. In particular, safety- and functionality-critical system parts need to be protected. Inter-process communication is one such critical part. Applying fault tolerance techniques often comes with a configuration problem, since real-world systems typically have tunable system parameters. These...
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 6 > 635-649
Featured timed automaton (FTA) is a concise formalism to model the real-time behaviour of variability-intensive systems. FTA extends the timed automaton by allowing optional transitions and clock constraints that are relevant only for a subset of the system variants. Then, one can verify a variant individually by deriving the corresponding TA from the FTA and using established tools like UPPAAL or...