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
 | There is a more recent version of this item available. |
URL / URN: https://tuprints.ulb.tu-darmstadt.de/23913
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.
| Item Type: | Article |
|---|---|
| Erschienen: | 2024 |
| Creators: | Hähnle, Reiner ; Aalst, Wil van der |
| 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 |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/23913 |
| 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 20 Department of Computer Science > Software Engineering |
| Date Deposited: | 30 Apr 2024 11:25 |
| Last Modified: | 08 May 2024 11:44 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Available Versions of this Item
- Automated model analysis tools and techniques presented at FASE 2019. (deposited 30 Apr 2024 11:25) [Currently Displayed]
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum