Advertisement

Formal Aspects of Component Software

15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

  • Kyungmin Bae
  • Peter Csaba Ölveczky
Conference proceedings FACS 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Paper

    1. Front Matter
      Pages 1-1
    2. Edward A. Lee, Marjan Sirjani
      Pages 3-31
  3. Regular Papers

    1. Front Matter
      Pages 33-33
    2. Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali
      Pages 54-74
    3. Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 75-96
    4. Prabhakar M. Dixit, H. M. W. Verbeek, Wil M. P. van der Aalst
      Pages 97-117
    5. Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
      Pages 118-136
    6. Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
      Pages 137-155
    7. Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu
      Pages 156-174
    8. Mojgan Kamali, Ansgar Fehnker
      Pages 175-195
    9. Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
      Pages 216-236
    10. Vlad Serbanescu, Frank de Boer, Mohammad Mahdi Jaghoori
      Pages 237-255
    11. Antti Siirtola, Keijo Heljanko
      Pages 256-276
  4. Tool Papers

    1. Front Matter
      Pages 277-277
    2. Sander de Putter, Anton Wijs, Dan Zhang
      Pages 288-296
  5. Back Matter
    Pages 297-297

About these proceedings

Introduction

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.
The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 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.

Keywords

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

Editors and affiliations

  1. 1.Pohang University of Science and TechnologyPohangKorea (Republic of)
  2. 2.University of OsloOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-02146-7
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-02145-0
  • Online ISBN 978-3-030-02146-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site