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 Herausgegeben:Stevens, Perdita; Wasowski, Andrzej
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 Herausgegeben:Stevens, Perdita; Wasowski, Andrzej
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. …mehr
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.
Produktdetails
Produktdetails
Theoretical Computer Science and General Issues 9633
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
