Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10202)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: FASE 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized in topical sections named: learning and inference; test selection; program and system analysis; graph modeling and transformation; model transformations; configuration and synthesis; and software product lines.
Similar content being viewed by others
Keywords
- software engineering
- computer software selection and evaluation
- debugging
- verification
- specification
- model checking
- semantics
- computer programming languages
- graph transformation
- model transformation
- requirements engineering
- software architectures
- system design
- system implementation
- software quality
- model-driven development
- domain-specific languages
- generative software
- software evolution
Table of contents (25 papers)
-
Learning and Inference
-
Graph Modelling and Transformation
-
Model Transformations
Other volumes
-
Fundamental Approaches to Software Engineering
Editors and Affiliations
Bibliographic Information
Book Title: Fundamental Approaches to Software Engineering
Book Subtitle: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Editors: Marieke Huisman, Julia Rubin
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-54494-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Germany 2017
Softcover ISBN: 978-3-662-54493-8Published: 22 March 2017
eBook ISBN: 978-3-662-54494-5Published: 21 March 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 444
Number of Illustrations: 130 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages