Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10802)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): FASE: International Conference on Fundamental Approaches to Software Engineering
Conference proceedings info: FASE 2018.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (19 papers)
-
Front Matter
-
Distributed Program and System Analysis
-
Front Matter
-
-
Software Design and Verification
-
Front Matter
-
About this book
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
Editors and Affiliations
-
Imperial College London, London, United Kingdom
Alessandra Russo
-
TU Darmstadt, Darmstadt, Germany
Andy Schürr
Bibliographic Information
Book Title: Fundamental Approaches to Software Engineering
Book Subtitle: 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
Editors: Alessandra Russo, Andy Schürr
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-89363-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2018
Softcover ISBN: 978-3-319-89362-4Published: 04 April 2018
eBook ISBN: 978-3-319-89363-1Published: 11 April 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 357
Number of Illustrations: 116 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, The Computing Profession, Theory of Computation