© 2019

Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

  • Reiner Hähnle
  • Wil van der Aalst
Open Access
Conference proceedings
FASE 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11424)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11424)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. FASE Invited Talk

    1. Front Matter
      Pages 1-1
    2. Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
      Pages 3-21 Open Access
  3. Software Verification I

    1. Front Matter
      Pages 23-23
    2. Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick Kourie, Bruce W. Watson
      Pages 25-42 Open Access
    3. Joonyoung Park, Alexander Jordan, Sukyoung Ryu
      Pages 43-60 Open Access
    4. Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
      Pages 61-78 Open Access
    5. Rolf Hennicker, Alexandre Madeira, Alexander Knapp
      Pages 79-97 Open Access
  4. Model-Driven Development and Model Transformation

    1. Front Matter
      Pages 99-99
    2. Philip Zweihoff, Stefan Naujokat, Bernhard Steffen
      Pages 101-115 Open Access
    3. Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer
      Pages 116-133 Open Access
    4. Sven Schneider, Leen Lambers, Fernando Orejas
      Pages 151-167 Open Access
  5. Software Verification II

    1. Front Matter
      Pages 169-169
    2. Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
      Pages 171-191 Open Access
    3. Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
      Pages 192-209 Open Access
    4. Himanshu Arora, Raghavan Komondoor, G. Ramalingam
      Pages 228-243 Open Access
  6. Software Evolution and Requirements Engineering

    1. Front Matter
      Pages 245-245
    2. Lawton Nichols, Mehmet Emre, Ben Hardekopf
      Pages 247-263 Open Access

About these proceedings


This book is Open Access under a CC BY licence.


formal logic model checking model-driven development program compilers program debugging programming languages requirements engineering semantics software architecture software engineering software evaluation software evolution software system models specifications theorem proving

Editors and affiliations

  1. 1.Technische Universität DarmstadtDarmstadtGermany
  2. 2.RWTH Aachen UniversityAachenGermany

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment