Author:
Hähnle Reiner,van der Aalst Wil
Abstract
AbstractThis 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.
Funder
Technische Universität Darmstadt
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference6 articles.
1. Beyer, D., Jakobs, M.C.: Cooperative, verifier-based testing with CoVeriTest. Int. J. Softw. Tools Technol, Transfer (in this issue) (2020)
2. Boronat, A.: Incremental execution of rule-based model transformation. Int. J. Softw. Tools Technol, Transfer (in this issue) (2020)
3. Dubrulle, P., Kosmatov, N., Gaston, C., Lapitre, A.: PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol, Transfer (in this issue) (2020)
4. Fritsche, L., Kosiol, J., Schürr, A., Taentzer, G.: Avoiding unnecessary information loss. Int. J. Softw. Tools Technol, Transfer (in this issue) (2020)
5. Schneider, S., Lambers, L., Orejas, F.: A logic-based incremental approach to graph repair featuring delta preservation. Int. J. Softw. Tools Technol, Transfer (in this issue) (2020)