000			02900nas a22003135i 4500
001			1433-2787
003			DE-He213
005			20260610082523.0
007			cr nn 008mamaa
008			150723s||||||||gw uu poo|||||| b|EN |d
022			_a1433-2787
024	7		_a10.1007/10009.1433-2787 _2doi
210	1	0	_aInt J Softw Tools Technol Transfer
245	1	0	_aInternational Journal on Software Tools for Technology Transfer _h[electronic resource] / _cedited by Bernhard Steffen, Martin Wirsing, John Hatcliff.
264		1	_aBerlin/Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer.
300			_bonline resource.
520			_aThe 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. STTT also aims to build bridges between communities. Tool support for the development of reliable and correct computer systems is of growing importance: many design methodologies, analyses, verification techniques, and associated tools have been developed in different areas of computer science. However, despite some convergence in recent years, the involved areas still have their own culture and terminology, preventing researchers from taking advantage of the results obtained by colleagues in other fields. In fact, even complex tools from a certain field often reflect quite specific mindsets which hinder an open exchange. In 2020, STTT expanded its focus to include three new areas of emphasis called Themes that aim to break down some of these barriers and that address areas that the editorial board believes are especially open to impact from the rigorous approaches that have long been championed by STTT: (a) Explanation Paradigms Leveraging Algebraic Intuition, (b) Foundations for Mastering Change, and (c) Competitions and Challenges.
650		0	_aSoftware engineering.
650		0	_aComputer science.
650	1	4	_aSoftware Engineering.
650	2	4	_aTheory of Computation.
700	1		_aSteffen, Bernhard. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aWirsing, Martin. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aHatcliff, John. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
776	0	8	_iPrinted version: _x1433-2779
856	4	0	_uhttps://doi.org/10.1007/10009.1433-2787 _zHybrid
999			_c3751 _d3751