Limit search to available items
Book Cover
E-book
Author FASE (Conference) (19th : 2016 : Eindhoven, Netherlands)

Title 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 / Perdita Stevens, Andrzej Wąsowski (eds.)
Published Berlin : Springer, 2016

Copies

Description 1 online resource (xiii, 436 pages)
Series Lecture notes in computer science, 0302-9743 ; 9633
Advanced research in computing and software science
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 9633.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
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
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
Notes International conference proceedings
Bibliography Includes bibliographical references and author index
Notes English
Online resource; title from PDF title page (SpringerLink, viewed April 4, 2016)
Subject Software engineering -- Congresses
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Stevens, Perdita, editor.
Wąsowski, Andrzej, editor
ETAPS (Conference) (16th : 2016 : Eindhoven, Netherlands)
ISBN 9783662496657
3662496658
366249664X
9783662496640
Other Titles FASE 2016
ETAPS 2016