國立虎尾科技大學 |

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 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles/ edited by Tiziana Margaria, Bernhard Steffen.
其他題名:	9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II /
其他作者:	Steffen, Bernhard.
面頁冊數:	XV, 544 p. 791 illus., 658 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer System Implementation. -
電子資源:	https://doi.org/10.1007/978-3-030-61470-6
ISBN:	9783030614706

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 /
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II /[electronic resource] :edited by Tiziana Margaria, Bernhard Steffen. - 1st ed. 2020. - XV, 544 p. 791 illus., 658 illus. in color.online resource. - Theoretical Computer Science and General Issues ;12477. - Theoretical Computer Science and General Issues ;9163.

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 Adaptive Systems -- 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.

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. .

ISBN: 9783030614706

Standard No.: 10.1007/978-3-030-61470-6doiSubjects--Topical Terms:

669803
Computer System Implementation.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

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 /
LDR:04796nam a22004215i 4500 001 1018351
003 DE-He213
005 20201026183601.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030614706 $9 978-3-030-61470-6
024 7 $a 10.1007/978-3-030-61470-6 $2 doi
035 $a 978-3-030-61470-6
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
072 7 $a UL $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles $h [electronic resource] : $b 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / $c edited by Tiziana Margaria, Bernhard Steffen.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XV, 544 p. 791 illus., 658 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 12477
505 0 $a 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 Adaptive Systems -- 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 $a 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. .
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer logic. $3 786340
650 0 $a Software engineering. $3 562952
700 1 $a Steffen, Bernhard. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 883233
700 1 $a Margaria, Tiziana. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 882002
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030614690
776 0 8 $i Printed edition: $z 9783030614713
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-030-61470-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)