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 /

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Stevens, Perdita (Editor ), Wąsowski, Andrzej (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Theoretical Computer Science and General Issues, 9633
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Machine theory.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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. .

Ejemplares similares