Feedback

X
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

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

0 Ungluers have Faved this Work

Welcome to the proceedings of ETAPS 2018! After a somewhat coldish ETAPS 2017 in Uppsala in the north, ETAPS this year took place in Thessaloniki, Greece. I am happy to announce that this is the first ETAPS with gold open access proceedings. This means that all papers are accessible by anyone for free. ETAPS 2018 was the 21st instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference established in 1998, and consists of five conferences: ESOP, FASE, FoSSaCS, TACAS, and POST. Each conference has its own Program Committee (PC) and its own Steering Committee. The conferences cover various aspects of software systems, ranging from theoretical computer science to foundations to programming language developments, analysis tools, formal approaches to software engineering, and security. Organizing these conferences in a coherent, highly synchronized conference program facilitates participation in an exciting event, offering attendees the possibility to meet many researchers working in different directions in the field, and to easily attend talks of different conferences. Before and after the main conference, numerous satellite workshops take place and attract many researchers from all over the globe.

This book is included in DOAB.

Why read this book? Have your say.

You must be logged in to comment.

Rights Information

Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.

Downloads

This work has been downloaded 678 times via unglue.it ebook links.
  1. 2 - epub (CC BY) at Unglue.it.
  2. 2 - pdf (CC BY) at Unglue.it.
  3. 240 - mobi (CC BY) at Unglue.it.
  4. 184 - pdf (CC BY) at Unglue.it.
  5. 250 - epub (CC BY) at Unglue.it.

Keywords

  • Computer science
  • computer software maintenance
  • computer software selection and evaluation
  • Computing & information technology
  • formal logic
  • formal methods
  • formal specification
  • Programming languages
  • Semantics
  • Software engineering
  • specifications
  • Verification

Links

DOI: 10.1007/978-3-319-89363-1
web: https://link.springer.com/book/10.1007/978-3-319-89363-1

Editions

edition cover
edition cover

Share

Copy/paste this into your site: