Fundamental Approaches to Software Engineering (eBook, PDF)

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
Redaktion: Stevens, Perdita; Wasowski, Andrzej

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer-Verlag GmbH
• Seitenzahl: 436
• Erscheinungstermin: 22. März 2016
• Englisch
• ISBN-13: 9783662496657
• Artikelnr.: 44879140

Inhaltsangabe

The Death of Object-Oriented Programming.- Concurrentand Distributed Systems Automated Choreography Repair.- A Graph-Based SemanticsWorkbench for Concurrent Asynchronous Programs.- ABS-YARN: A Formal Frameworkfor Modeling Hadoop YARN Clusters.- Integrated environment for verifying andrunning distributed components.- Model-Driven Development.- Iterative andincremental model generation by logic solvers.- Automated Model Merge by DesignSpace Exploration.- RuleMerger: Automatic Construction of Variability-BasedModel Transformation Rules.- Two-Step Transformation of Model Traversal EOLQueries for Large CDO Repositories.- Mind the Gap! Automated Anomaly Detectionfor Potentially Unbounded Cardinality-based Feature Models.- Analysis and BugTriaging.- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.-The Influences of Edge Instability on Change Propagation and Connectivity inCall Graphs.- Modeling and Abstraction of Memory Management in a Hypervisor.- CrowdsourcedBug Triaging: Leveraging Q&A resources for Bug Assignment.- Probabilisticand Stochastic Systems Model-Based Testing of Probabilistic Systems.- AnIterative Decision-Making Scheme for Markov Decision Processes and ItsApplication to Self-Adaptive Systems.- Family-Based Modeling and Analysis forProbabilistic Systems - Featuring ProFeat.- Statistical model checking ofe-Motions domain-specific modeling languages.- Proof and Theorem Proving.- TowardsFormal Proof Metrics.- Reduction Rules for Colored Workflow Nets.- Many-valuedInstitutions for Constraint Specification.- CafeInMaude: a CafeOBJ interpreterin Maude.- Verification.- Verifying a Verifier: On the Formal Correctness of anLTS Transformation Verification Technique.- Hybrid Session Verification throughEndpoint API Generation.- PVAIR: Partial Variable Assignment InterpolatoR.