Fundamental Approaches to Software Engineering

21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

  • Alessandra Russo
  • Andy Schürr
Open Access
Conference proceedings
FASE 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Model-Based Software Development

    1. Front Matter
      Pages 1-1
    2. Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter
      Pages 3-20 Open Access
    3. Zinovy Diskin, Harald König, Mark Lawford
      Pages 21-37 Open Access
    4. Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau
      Pages 38-55 Open Access
    5. Rajesh Kumar, Stefano Schivo, Enno Ruijters, Buǧra Mehmet Yildiz, David Huistra, Jacco Brandt et al.
      Pages 56-73 Open Access
  3. Distributed Program and System Analysis

    1. Front Matter
      Pages 75-75
    2. Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer
      Pages 77-93 Open Access
    3. Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
      Pages 94-110 Open Access
    4. Márton Búr, Gábor Szilágyi, András Vörös, Dániel  Varró
      Pages 111-128 Open Access
    5. Joonyoung Park, Kwangwon Sun, Sukyoung Ryu
      Pages 129-145 Open Access
  4. Software Design and Verification

    1. Front Matter
      Pages 147-147
    2. Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
      Pages 169-188 Open Access
    3. Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles Sutton
      Pages 189-206 Open Access
    4. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
      Pages 207-224 Open Access
  5. Specification and Program Testing

    1. Front Matter
      Pages 225-225
    2. Oszkár Semeráth, Dániel Varró
      Pages 227-245 Open Access
    3. David Landsberg, Youcheng Sun, Daniel Kroening
      Pages 246-263 Open Access
    4. Yavuz Koroglu, Alper Sen
      Pages 264-280 Open Access

About these proceedings

Introduction

This book is Open Access under a CC BY licence.

Keywords

computer software maintenance computer software selection and evaluation formal logic formal methods formal specification programming languages semantics software engineering specifications verification

Editors and affiliations

  1. 1.Imperial College LondonLondonUnited Kingdom
  2. 2.TU DarmstadtDarmstadtGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-89363-1
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-89362-4
  • Online ISBN 978-3-319-89363-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace