Aims and Scope
The International Journal on Software Tools for Technology Transfer (STTT) provides a forum for discussion on all aspects of tools that support the development of computer systems. It is particularly intended to offer a tool-oriented link between academic research and industrial practice.
Tool support for the development of reliable and correct computer systems is of growing importance: a wealth of design methodologies, algorithms, and associated tools has 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 work done by others, and thus unable to apply and use it. The situation is even more critical when considering the transfer of new technology into industrial practice.
STTT addresses this situation by (1) publishing accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques and (2) channeling comments, queries, and feedback about tools and papers in the Online Forum with highlights published electronically.
STTT focuses on three major technical themes:
- Construction and analysis issues: This involves hierarchical and compositional approaches; syntax-oriented vs. semantic methods; synthesis vs. verification; formal support of the entire system life cycle, including requirements capture, design, implementation, verification, testing maintenance, evolution; analysis of non-functional aspects of system behavior, such as real-time, probability, and efficiency.
- Practicality issues: This addresses performance, genericity, and usability of tools; case studies and experience reports; industrial use and feedback.
- Generic tool issues: Those include paradigms (fully automated vs. interactive approaches); design issues (modularity, efficiency, portability, integrability, reusability); automatic support (tool generators, integrators, and interface builders); user interfaces (graphics, Web forms, retrieval).
STTT comprises Regular Papers, Special Sections, an Opinion Corner with Position Papers and Reviews, as well as an Online Forum for a more instantaneous discussion. Regular Papers are handled via STTT Regular service. The Special Sections are run on invitation by the responsible editor.
Due to STTT's emphasis on technology transfer, we encourage an illustrative, example-driven presentation style that focuses on the underlying intuitions. Technical material and detailed proofs not necessary to understand the essence and the impact of the contributions should be replaced by adequate referencing of other publications or be provided separately as online appendix. This way the journal allows a fast and intuitive entry into the new material and new themes, and at the same time the online appendix supports experts to easily access the related technical or theoretical details. These include proofs, definitions of complicated underlying calculi, and discussions of related theories, as well as other information concerning implementation issues, user documentation, benchmarking information, and raw experimental data, which go beyond the general interest.