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 /: 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. (2016)

• Record Type: Book
• Other Titles: FASE 2016; ETAPS 2016
• Further Information: Note: Perdita Stevens, Andrzej Wa̜sowski (eds.).
• Editors: Stevens, Perdita; Wąsowski, Andrzej
• Other Names: FASE (Conference), 19th; ETAPS (Conference), 16th
• Contents: 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.
• Publisher Details: Berlin : Springer
• Publication Date: 2016
• Extent: 1 online resource (xiii, 436 pages)
• Subjects: 005.1; Software engineering -- Congresses; Software engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662496657; 3662496658; 9783662496640
• Related ISBNs: 366249664X; 9783662496640
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed April 4, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.