Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Evolving Critical Systems - Track Introduction.- Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems.- Combinatory Logic Synthesizer.- Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.- Prototype-Driven Development of Web Applications with DyWA.,- Domain-Specific Languages for Enterprise Systems.- Introduction to “Rigorous Engineering of Autonomic Ensembles”.- Helena@Work: Modeling the Science Cloud Platform.- Formalizing Self-adaptive Clouds with KnowLang.- Towards Performance-Aware Engineering of Autonomic Component Ensembles.- Self-expression and Dynamic Attribute-Based Ensembles in SCEL.- On Programming and Policing Autonomic Computing Systems.- Rigorous System Design Flow for Autonomous Systems.- Learning Models for Verification and Testing — Special Track at ISoLA 2014 - Track Introduction.- Active Learning of Nondeterministic Systems from an ioco Perspective.- Verification of GUI Applications: A Black-Box Approach.- Fomal Methods and Analyses in Software Product Line Engineering (Track Summary).- A Core Language for Separate Variability Modeling.- Domain Specific Languages for Managing Feature Models: Advances and Challenges.- Delta-Trait Programming of Software Product Lines.- Deployment Variability in Delta-Oriented Models.- DeltaCCS: A Core Calculus for Behavioral Change.- Coverage Criteria for Behavioural Testing of Software Product Lines.- Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems.- Towards Modular Verification of Software Product Lines with mCRL2.- Model-Based Code-Generators and Compilers - Track Introduction.- DSL Implementation for Model-Based Development of Pumps.- Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language.- Back-To-Back Testing of Model-Based Code Generators.- Rewriting Object Models with Cycles and Nested Collections: A Model-Based Metaprogramming Problem.- Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation.- Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.- Tutorial: Automata Learning in Practice.- LNCS Transactions on the Foundations for Mastering Change LNCS Transaction on the Foundations for Mastering Change: Preliminary Manifesto.- XII Table of Contents – Part I Formal Methods for Collective Adaptive Ensembles.- Current Issues on Model-Based Software Quality Assurance for Mastering Change.- Compositional Model-Based System Design as a Foundation for Mastering Change.- Managing Change in Formal Software Analysis: Two Research Challenges.- Mastering Changes: Some Research Topics.- Mastering Change @ Runtime.- Forever Software.- Software (must) Change.- The Change of Change.