Automated model analysis tools and techniques presented at FASE 2019

This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of s...

Full description

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer 2021-06, Vol.23 (3), p.285-287
Main Authors: Hähnle, Reiner, van der Aalst, Wil
Format: Article
Language:English
Subjects:
Computer Science
Software Engineering
Software Engineering/Programming and Operating Systems
Theory of Computation
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-020-00589-6