000946862 000__ 05680cam\a2200553\i\4500
000946862 001__ 946862
000946862 005__ 20230306152456.0
000946862 006__ m\\\\\o\\d\\\\\\\\
000946862 007__ cr\nn\nnnunnun
000946862 008__ 201026s2020\\\\sz\a\\\\ob\\\\101\0\eng\d
000946862 019__ $$a1204137064
000946862 020__ $$a9783030614706$$q(electronic resource)
000946862 020__ $$a3030614700$$q(electronic resource)
000946862 020__ $$z9783030614690$$q(print)
000946862 0247_ $$a10.1007/978-3-030-61470-6$$2doi
000946862 035__ $$aSP(OCoLC)on1225893495
000946862 035__ $$aSP(OCoLC)1225893495$$z(OCoLC)1204137064
000946862 040__ $$aDCT$$beng$$erda$$cDCT$$dOCLCO$$dUIU$$dEMU$$dOCLCO$$dOCLCF$$dGW5XE$$dEBLCP
000946862 049__ $$aISEA
000946862 050_4 $$aQA76.9.F67$$bI83 2020
000946862 08204 $$a005.1$$223
000946862 1112_ $$aISoLA (Symposium)$$n(9th :$$d2020 :$$cOnline)
000946862 24510 $$aLeveraging applications of formal methods, verification and validation :$$b9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.$$nPart II /$$cTiziana Margaria, Bernhard Steffen (eds.).
000946862 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2020]
000946862 300__ $$a1 online resource :$$billustrations.
000946862 336__ $$atext$$btxt$$2rdacontent
000946862 337__ $$acomputer$$bc$$2rdamedia
000946862 338__ $$aonline resource$$bcr$$2rdacarrier
000946862 347__ $$atext file$$bPDF$$2rda
000946862 4901_ $$aLecture notes in computer science ;$$v12477
000946862 4901_ $$aLNCS sublibrary: SL1 - theoretical computer science and general issues
000946862 504__ $$aIncludes bibliographical references and author index.
000946862 5050_ $$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 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.
000946862 506__ $$aAccess limited to authorized users.
000946862 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. .
000946862 588__ $$aDescription based on resource, viewed January 5, 2021.
000946862 650_0 $$aFormal methods (Computer science)$$vCongresses.
000946862 650_0 $$aComputer software$$xVerification$$vCongresses.
000946862 650_0 $$aSoftware engineering$$vCongresses.
000946862 655_7 $$aConference papers and proceedings.$$2lcgft
000946862 7001_ $$aMargaria-Steffen, Tiziana,$$d1964-$$eeditor.
000946862 7001_ $$aSteffen, Bernhard,$$eeditor.
000946862 77608 $$iPrint version:$$tLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles$$dCham : Springer International Publishing AG,c2020$$z9783030614669
000946862 830_0 $$aLecture notes in computer science ;$$v12477.
000946862 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000946862 852__ $$bebk
000946862 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-61470-6$$zOnline Access$$91397441.1
000946862 909CO $$ooai:library.usi.edu:946862$$pGLOBAL_SET
000946862 980__ $$aEBOOK
000946862 980__ $$aBIB
000946862 982__ $$aEbook
000946862 983__ $$aOnline
000946862 994__ $$a92$$bISE