Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change  5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /  [electronic resource] : 
edited by Tiziana Margaria, Bernhard Steffen. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2012. 
 - 1 online resource (XVI, 617 p. 170 ill.) 
 - Lecture Notes in Computer Science,  7609  0302-9743 ; .
<br/><br/>Adaptable and Evolving Software for Eternal Systems (Track Summary).- Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation Experiment Systems.- A Liskov Principle for Delta-Oriented Programming -- Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated Inference of Models for Black Box Systems Based on Interface Descriptions.- Model-Based Compatibility Checking of System Modifications.- A Generic Platform for Model-Based Regression Testing.- Approaches for Mastering Change.- A Formal Approach to Software Product Families.- A Compositional Framework to Derive Product Line Behavioural Descriptions.- Delta-Oriented Monitor Specification.- Conflict Detection in Delta-Oriented Programming.- Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines.- A Vision for Behavioural Model-Driven Validation of Software Product Lines.- Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.- SmartTies - Management of Safety-Critical Developments.- Tracking Behavioral Constraints during Object-Oriented Software Evolution.- Towards the Verification of Adaptable Processes.- Runtime Verification: The Application Perspective.- What Does AI Have to Do with RV? (Extended Abstract).- A Case for "Piggyback" Runtime Monitoring.- A Unified Approach for Static and Runtime Verification: Framework and Applications.- Statistical Model Checking QoS Properties of Systems with SBIP.- Monitoring Temporal Information Flow.- Dynamic Information-Flow Analysis for Multi-threaded Applications.- Bounded-Interference Sequentialization for Testing Concurrent Programs.- Runtime Verification of Biological Systems.- Behavioral Specification Based Runtime Monitors for OSGi Services.- Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids.- Model-Based Testing and Model Inference.- Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing.- Test-Case Design by Feature Trees.- Model-Based Static Code Analysis for MATLAB Models.- An Incremental Learning Algorithm for Extended Mealy Automata.- Learning Techniques for Software Verification and Validation.- Learning Stochastic Timed Automata from Sample Executions.- Learning Minimal Deterministic Automata from Inexperienced Teachers.- Model Learning and Test Generation for Event-B Decomposition.- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers.- LearnLib Tutorial: From Finite Automata to Register Interface Programs.- Automated Learning Setups in Automata Learning.- The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. Challenges in Defining a Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation Experiment Systems.- A Liskov Principle for Delta-Oriented Programming -- Scientific Workflows: Eternal Components, Changing Interfaces, Varying Compositions.- An Object Group-Based Component Model.- Automated Inference of Models for Black Box Systems Based on Interface Descriptions.- Model-Based Compatibility Checking of System Modifications.- A Generic Platform for Model-Based Regression Testing.- Approaches for Mastering Change.- A Formal Approach to Software Product Families.- A Compositional Framework to Derive Product Line Behavioural Descriptions.- Delta-Oriented Monitor Specification.- Conflict Detection in Delta-Oriented Programming.- Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines.- A Vision for Behavioural Model-Driven Validation of Software Product Lines.- Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.- SmartTies - Management of Safety-Critical Developments.- Tracking Behavioral Constraints during Object-Oriented Software Evolution.- Towards the Verification of Adaptable Processes.- Runtime Verification: The Application Perspective.- What Does AI Have to Do with RV? (Extended Abstract).- A Case for "Piggyback" Runtime Monitoring.- A Unified Approach for Static and Runtime Verification: Framework and Applications.- Statistical Model Checking QoS Properties of Systems with SBIP.- Monitoring Temporal Information Flow.- Dynamic Information-Flow Analysis for Multi-threaded Applications.- Bounded-Interference Sequentialization for Testing Concurrent Programs.- Runtime Verification of Biological Systems.- Behavioral Specification Based Runtime Monitors for OSGi Services.- Modelling and Decentralised Runtime Control of Self-stabilising Power Micro Grids.- Model-Based Testing and Model Inference.- Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing.- Test-Case Design by Feature Trees.- Model-Based Static Code Analysis for MATLAB Models.- An Incremental Learning Algorithm for Extended Mealy Automata.- Learning Techniques for Software Verification and Validation.- Learning Stochastic Timed Automata from Sample Executions.- Learning Minimal Deterministic Automata from Inexperienced Teachers.- Model Learning and Test Generation for Event-B Decomposition.- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers.- LearnLib Tutorial: From Finite Automata to Register Interface Programs.- Automated Learning Setups in Automata Learning.- The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. 
<br/><br/><label>ISBN: </label>9783642340260 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Operating systems (Computers).<br/>Computers.<br/>Computer logic.<br/>Artificial intelligence.