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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Stevens, Perdita (Επιμελητής έκδοσης), Wąsowski, Andrzej (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.
• Έκδοση: 1st ed. 2016.
• Σειρά: Lecture Notes in Computer Science, 9633
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

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 2...

Πίνακας περιεχομένων:

• 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. .