Tools for the construction and analysis of systems

In order to develop reliable software and systems, we depend on practical techniques for the construction and analysis of such software and systems. This special issue of Software Tools for Technology Transfer presents various tool-supported techniques that can help with the construction and analysi...

Full description

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer 2020-12, Vol.22 (6), p.685-687
Main Authors: Beyer, Dirk, Huisman Marieke
Format: Article
Language:English
Subjects:
Algorithms
Quantitative analysis
Software
Software development tools
Systems analysis
Technology transfer
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In order to develop reliable software and systems, we depend on practical techniques for the construction and analysis of such software and systems. This special issue of Software Tools for Technology Transfer presents various tool-supported techniques that can help with the construction and analysis of such reliable software and systems. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018).
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-020-00581-0