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

Häftad, Engelska, 2016

Av Perdita Stevens, Andrzej Wąsowski, Andrzej Wasowski, Andrzej Wąsowski

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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

Produktinformation

Utgivningsdatum2016-03-22
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieTheoretical Computer Science and General Issues
Antal sidor436
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783662496640

Tillhör följande kategorier

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.