Formal Aspects of Component Software

16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings

  • Farhad Arbab
  • Sung-Shik Jongmans
Conference proceedings FACS 2019

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 12018)

Table of contents

  1. Front Matter
    Pages i-x
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink, Jacobus Rooda
      Pages 3-24
    3. Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse
      Pages 25-48
  3. Regular Papers

    1. Front Matter
      Pages 49-49
    2. Achim D. Brucker, Michael Herzberg
      Pages 51-71
    3. Kadir Bulut, Guy Vincent Jourdan, Uraz Cengiz Türker
      Pages 72-86
    4. Reynaldo Cobos Méndez, Julio de Oliveira Filho, Douwe Dresscher, Jan Broenink
      Pages 87-105
    5. Kasper Dokter
      Pages 106-126
    6. Timm Liebrenz, Paula Herber, Sabine Glesner
      Pages 127-146
    7. Lars Luthmann, Hendrik Göttmann, Malte Lochau
      Pages 147-169
    8. Tobias Reiher, Alexander Senier, Jeronimo Castrillon, Thorsten Strufe
      Pages 170-190
    9. Petra van den Bos, Frits Vaandrager
      Pages 191-212
    10. Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter
      Pages 213-232
  4. Short Papers

    1. Front Matter
      Pages 233-233
    2. Christopher A. Esterhuyse, Hans-Dieter A. Hiep
      Pages 235-242
    3. Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler
      Pages 243-251
  5. Back Matter
    Pages 261-261

About these proceedings


This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.

The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. 
FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.


formal logic formal methods programming languages semantics software engineering specifications theorem proving

Editors and affiliations

  • Farhad Arbab
    • 1
  • Sung-Shik Jongmans
    • 2
  1. 1.CWIUniversity of LeidenLeidenThe Netherlands
  2. 2.Open University of the NetherlandsHeerlenThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-40913-5
  • Online ISBN 978-3-030-40914-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment