Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Perdita Stevens, Andrzej Wąsowski.

Format:

Book

Contributor:

Stevens, Perdita, editor.

Wąsowski, Andrzej, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 9633.

Theoretical Computer Science and General Issues ; 9633

Language:

English

Subjects (All):

Software engineering.

Programming languages (Electronic computers).

Computer logic.

Logic, Symbolic and mathematical.

Software Engineering.

Programming Languages, Compilers, Interpreters.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Local Subjects:

Software Engineering.

Programming Languages, Compilers, Interpreters.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Physical Description:

1 online resource (XIII, 436 pages) : 127 illustrations.

Edition:

First edition 2016.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.

System Details:

text file PDF

Summary:

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification. .

Contents:

The Death of Object-Oriented Programming

Concurrent and Distributed Systems Automated Choreography Repair

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters

Integrated environment for verifying and running distributed components

Model-Driven Development

Iterative and incremental model generation by logic solvers

Automated Model Merge by Design Space Exploration

RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules

Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories

Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models

Analysis and Bug Triaging

Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices

The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs

Modeling and Abstraction of Memory Management in a Hypervisor

Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment

Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems

An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat

Statistical model checking of e-Motions domain-specific modeling languages

Proof and Theorem Proving

Towards Formal Proof Metrics

Reduction Rules for Colored Workflow Nets

Many-valued Institutions for Constraint Specification

CafeInMaude: a CafeOBJ interpreter in Maude

Verification

Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique

Hybrid Session Verification through Endpoint API Generation

PVAIR: Partial Variable Assignment InterpolatoR. .

Other Format:

Printed edition:

ISBN:

978-3-662-49665-7

9783662496657

Access Restriction:

Restricted for use by site license.