Nantilus
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
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | 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 / edited by Tiziana Margaria, Bernhard Steffen. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham |
| Collection : | Theoretical computer science and general issues (Online) ; 7609 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Sujets : | |
| Documents associés : | Autre format:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Autre format: Leveraging Applications of Formal Methods, Verification and Validation |
| LEADER | 09617clm a2200685 4500 | ||
|---|---|---|---|
| 001 | PPN168325969 | ||
| 003 | http://www.sudoc.fr/168325969 | ||
| 005 | 20241001155200.0 | ||
| 010 | |a 978-3-642-34026-0 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-34026-0 |2 DOI |
| 035 | |a (OCoLC)818324196 | ||
| 035 | |a Springer978-3-642-34026-0 | ||
| 035 | |a Springer-11645-978-3-642-34026-0 | ||
| 100 | |a 20130325d2012 k |0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a y z 100yy | ||
| 106 | |a s | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change |e 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I |f edited by Tiziana Margaria, Bernhard Steffen. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |b Springer Nature |d 2012 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7609 | |
| 330 | |a The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems. | ||
| 359 | 1 | |a 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. | |
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7609 | |
| 452 | | | |t Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change |y 9783642340253 | |
| 452 | | | |t Leveraging Applications of Formal Methods, Verification and Validation |y 9783642340277 | |
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Computation by Abstract Devices | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Operating Systems | |
| 610 | 2 | |a Artificial Intelligence. | |
| 610 | 2 | |a Theory of Computation | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Compilers and Interpreters | |
| 615 | |a Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1 |v 23 | ||
| 680 | |a QA76.758 | ||
| 700 | 1 | |3 PPN078183286 |a Margaria-Steffen |b Tiziana |f 1964-... |4 651 | |
| 701 | 1 | |a Margaria-Steffen |b Tiziana |f 1964-... |4 651 | |
| 701 | 1 | |a Steffen |b Bernhard |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20231126 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20230412 |g AACR2 | |
| 856 | 4 | |5 441099901:830855491 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-34026-0 | |
| 915 | |5 441099901:830855491 |b SPRING13-00593 | ||
| 930 | |5 441099901:830855491 |b 441099901 |j g | ||
| 991 | |5 441099901:830855491 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:12 | ||
| 997 | |a NUM |b SPRING13-00593 |d NUMpivo |e EM |s d | ||
| 998 | |a 978425 | ||