Bibliographic Details
| Title: |
Tools for the construction and analysis of systems: A special issue for TACAS 2018. |
| Authors: |
Beyer, Dirk1 (AUTHOR) dirk.beyer@sosy-lab.org, Huisman, Marieke2 (AUTHOR) |
| Source: |
International Journal on Software Tools for Technology Transfer. Dec2020, Vol. 22 Issue 6, p685-687. 3p. |
| Subjects: |
Systems software, Software development tools, Technology transfer, Construction, Conference papers |
| Abstract: |
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). [ABSTRACT FROM AUTHOR] |
|
Copyright of International Journal on Software Tools for Technology Transfer is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
