TU Darmstadt / ULB / TUprints

Automated model analysis tools and techniques presented at FASE 2019

Hähnle, Reiner ; Aalst, Wil van der (2024)
Automated model analysis tools and techniques presented at FASE 2019.
In: International Journal on Software Tools for Technology Transfer, 2021, 23 (3)
doi: 10.26083/tuprints-00023913
Article, Secondary publication, Publisher's Version

[img] Text
s10009-020-00589-6.pdf
Copyright Information: CC BY 4.0 International - Creative Commons, Attribution.

Download (139kB)
Item Type: Article
Type of entry: Secondary publication
Title: Automated model analysis tools and techniques presented at FASE 2019
Language: English
Date: 30 April 2024
Place of Publication: Darmstadt
Year of primary publication: June 2021
Place of primary publication: Berlin ; Heidelberg
Publisher: Springer
Journal or Publication Title: International Journal on Software Tools for Technology Transfer
Volume of the journal: 23
Issue Number: 3
DOI: 10.26083/tuprints-00023913
Corresponding Links:
Origin: Secondary publication DeepGreen
Abstract:

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.

Uncontrolled Keywords: Model transformation, Test generation, Model synchronization, Graph repair, Data flow analysis
Status: Publisher's Version
URN: urn:nbn:de:tuda-tuprints-239137
Additional Information:

Special Issue: FASE 2019

Classification DDC: 000 Generalities, computers, information > 004 Computer science
Divisions: 20 Department of Computer Science > Software Engineering
Date Deposited: 30 Apr 2024 11:25
Last Modified: 05 Sep 2024 07:27
SWORD Depositor: Deep Green
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/23913
PPN: 521103746
Export:
Actions (login required)
View Item View Item