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. It is particularly intended to offer a tool-oriented link between academic research and industrial practice.

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. 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 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 often are unaware of, and thus unable to use, work done by others. The situation is even more critical when considering the transfer of technology into industrial practice.

STTT remedies this situation by (1) publishing accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques, (2) channelling comments, queries, and feedback about tools and papers in the Online Forum with highlights published electronically, and (3) enabling via the Electronic Tool Integration (ETI) platform even non-experts to experiment with the integrated tools. - As STTT addresses a heterogeneous audience, great editorial emphasis is placed on clear, jargon-free exposition.

STTT focuses on three major technical themes:
 Construction and analysis issues: 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; analysis of non-functional aspects of system behavior, such as realtime, probability, and efficiency
 Practicality issues: performance, genericity, and us-ability of tools; case studies and experience reports; industrial use and feedback
 Generic tool issues: paradigms (fully automated vs. interactive approaches); design issues (modularity, efficiency, portability, integrability, reusability); automatic support (tool generators, integrators, and interface builders); user interfaces (graphics,hypertext, retrieval)

Electronic Tool Integration (ETI)

The ETI platform is a refereed, interactive tool repository accessible as an online service. Visitors may experiment with individual tools using benchmarks as well as their own examples. ETI’s automatic interfacing support helps in constructing and investigating heterogeneous tool combinations for solving complex tasks. A graphical interface, hypertext-based documentation, and a sophisticated retrieval mechanism are designed to provide intuitive guidance. - ETI is not a distribution platform: tool builders retain all legal rights to their software, and responsibilities for it.

See it online!

Réalisation Axome - Création de sites Internet