STTT

International Journal on Software Tools for Technology Transfer

The International Journal on Software Tools for Technology Transfer (STTT) has provided since 1997 a forum for research and experience papers on tools that support the development and verification of computer systems. STTT emphasizes work that takes rigorous, semantics-based, and formal approaches to tools and system development. To facilitate technology transfer and to offer a tool-oriented link between academic research and industrial practice, STTT seeks work that applies tools to realistic systems and that considers the broader workflows and tool chains needed to develop systems in industrial contexts. more…

Bernhard Steffen & John Hatcliff (Editors-in-Chief)
Tiziana Margaria (Coordinating Editor)