000 | 05522nam a22005775i 4500 | ||
---|---|---|---|
001 | 978-3-030-61470-6 | ||
003 | DE-He213 | ||
005 | 20240423125012.0 | ||
007 | cr nn 008mamaa | ||
008 | 201026s2020 sz | s |||| 0|eng d | ||
020 |
_a9783030614706 _9978-3-030-61470-6 |
||
024 | 7 |
_a10.1007/978-3-030-61470-6 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles _h[electronic resource] : _b9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / _cedited by Tiziana Margaria, Bernhard Steffen. |
250 | _a1st ed. 2020. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
300 |
_aXV, 544 p. 791 illus., 658 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12477 |
|
505 | 0 | _aAutomating 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. | |
520 | _aThe 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. . | ||
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aComputer science. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputer systems. | |
650 | 1 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
650 | 2 | 4 | _aArtificial Intelligence. |
650 | 2 | 4 | _aComputer System Implementation. |
700 | 1 |
_aMargaria, Tiziana. _eeditor. _0(orcid) _10000-0002-5547-9739 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSteffen, Bernhard. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030614690 |
776 | 0 | 8 |
_iPrinted edition: _z9783030614713 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v12477 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-61470-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cSPRINGER | ||
999 |
_c173122 _d173122 |