Hähnle, Reiner ; Aalst, Wil van der (2021)
Automated model analysis tools and techniques presented at FASE 2019.
In: International Journal on Software Tools for Technology Transfer, 23 (3)
doi: 10.1007/s10009-020-00589-6
Article, Bibliographie
This is the latest version of this item.
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: | 2021 |
| Creators: | Hähnle, Reiner ; Aalst, Wil van der |
| Type of entry: | Bibliographie |
| Title: | Automated model analysis tools and techniques presented at FASE 2019 |
| Language: | English |
| Date: | June 2021 |
| Publisher: | Springer |
| Journal or Publication Title: | International Journal on Software Tools for Technology Transfer |
| Volume of the journal: | 23 |
| Issue Number: | 3 |
| DOI: | 10.1007/s10009-020-00589-6 |
| Corresponding Links: | |
| 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 |
| Additional Information: | Erstveröffentlichung; Special Issue: FASE 2019 |
| Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Software Engineering |
| Date Deposited: | 20 Jul 2022 07:13 |
| 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)
- Automated model analysis tools and techniques presented at FASE 2019. (deposited 20 Jul 2022 07:13) [Currently Displayed]
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum