Cantitate/Preț
Produs
Total produse
Vezi coșul
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II de Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II: Lecture Notes in Computer Science, cartea 12477

Editat de Tiziana Margaria, Bernhard Steffen
en Limba Engleză Paperback – 27 oct 2020
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.

The papers presented were carefully reviewed and selected for inclusion in the proceedings.
Each volume focusses on an individual topic with topical section headings within the volume:
Part I, Verification Principles:
Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems.

Part II, Engineering Principles:
Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems.

Part III, Applications:
Reliable Smart Contracts:State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.

 
 
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (10) 32016 lei  6-8 săpt.
  Springer – 5 aug 2021 32016 lei  6-8 săpt.
  Springer – 11 sep 2012 32525 lei  6-8 săpt.
  Springer International Publishing – 27 oct 2020 32974 lei  6-8 săpt.
  Springer International Publishing – 27 oct 2020 33229 lei  6-8 săpt.
  Springer – 11 sep 2012 33833 lei  6-8 săpt.
  Springer International Publishing – 6 oct 2016 34797 lei  6-8 săpt.
  Springer International Publishing – 12 oct 2021 46693 lei  6-8 săpt.
  Springer International Publishing – 29 oct 2020 58057 lei  6-8 săpt.
  Springer International Publishing – 6 oct 2016 65396 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 14 oct 2008 97687 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 33229 lei

Preț vechi: 41536 lei
-20% Nou

Puncte Express: 498
Preț estimativ în valută:
5880€ • 6904$ • 5161£

Carte tipărită la comandă

Livrare economică 27 ianuarie-10 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030614690
ISBN-10: 3030614697
Pagini: 544
Ilustrații: XV, 544 p. 791 illus., 658 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.78 kg
Ediția:1st ed. 2020
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland

Cuprins

Automating Software Re-Engineering (Introduction to the ISoLA 2020 Track).- Formal Verification of Developer Tests: a Research Agenda Inspired by Mutation Testing.- Modular Regression Verification for Reactive Systems.- Finding Idioms in Source Code using Subtree Counting Techniques.- Parametric Timed Bisimulation.- A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.- Thirty-seven years of relational Hoare logic: remarks on its principles and history.- Safer Parallelization.- Refactoring and Active Object Languages.- Rigorous Engineering of Collective Adaptive Systems  --  Introduction to the 3rd Track Edition.- Composition of Component Models - a Key to Construct Big Systems.- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles.- Engineering semantic self-composition of services through tuple-based coordination.- A Dynamic Logic for Systems with Predicate-based Communication.- Behavioural Abstractions for Collective AdaptiveSystems.- Verifying AbC specifications via emulation.- Adaptive Security Policies.- Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns.- Guaranteeing Type Consistency in Collective Adaptive Systems.- Epistemic Logic in Ensemble Specification.- FScaFi: a Core Calculus for Collective Adaptive Systems Programming.- Writing Robotics Applications with X-Klaim.- Measuring Adaptability and Reliability of Large Scaled Systems.- Centrality-preserving exact reductions of Multi-Layer Networks.- Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification.- Forming Ensembles at Runtime: A Machine Learning Approach.- Synthesizing Control for a System with Black Box Environment, based on Deep Learning.- A Formal Model For Reasoning About The Ideal Fitness In Evolutionary Processes.- A case study of policy synthesis for swarm robotics..- Maple-Swarm: Programming Collective Behavior for Ensembles by extending HTN-Planning.- Swarm and Collective Capabilities for Multipotent Robot Ensembles.

Textul de pe ultima copertă

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.

Caracteristici

Fast track conference proceedings Unique visibility State of the art research