Avoid common mistakes on your manuscript.
The following four papers are a continuation of the special issue on “Advanced Topics in Automated Software Engineering”:
-
Model-driven allocation engineering: specifying and solving constraints based on the example of automotive systems by Uwe Pohlmann and Marcus Hüwe.
-
Inductive verification of data model invariants in web applications using first-order logic by Ivan Bocić, Tevfik Bultan, and Nicolás Rosner.
-
Change impact analysis for maintenance and evolution of variable software systems by Florian Angerer, Andreas Grimmer, Herbert Prähofer, and Paul Grünbacher.
-
Region and Effect Inference for Safe Parallelism by Alexandros Tzannes, Stephen T. Heumann, Lamyaa Eloussi, Mohsen Vakilian, Vikram S. Adve, and Michael Han.
The Automated Software Engineering journal gratefully acknowledges the editorial work of the scholars listed below on this special issue.
Lars Grunske
Humboldt-Universität zu Berlin, Berlin, Germany
grunske@informatik.hu-berlin.de
Michael Whalen
University of Minnesota, Minneapolis, USA
mwwhalen@umn.edu
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Editor’s note. Autom Softw Eng 26, 313 (2019). https://doi.org/10.1007/s10515-019-00258-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10515-019-00258-2