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.
Buy print copy
Tax calculation will be finalised at checkout
Table of contents (25 papers)
-
Front Matter
-
Learning and Inference
-
Front Matter
-
-
Program and System Analysis
-
Front Matter
-
-
Graph Modelling and Transformation
-
Front Matter
-
-
Model Transformations
-
Front Matter
-
Other volumes
-
Fundamental Approaches to Software Engineering
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
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.
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
