LEADER 05569nam 22006975 450 001 996464522603316 005 20230330075034.0 010 $a3-030-89159-3 024 7 $a10.1007/978-3-030-89159-6 035 $a(CKB)5140000000013003 035 $a(MiAaPQ)EBC6749176 035 $a(Au-PeEL)EBL6749176 035 $a(OCoLC)1276852105 035 $a(DE-He213)978-3-030-89159-6 035 $a(PPN)258296283 035 $a(EXLCZ)995140000000013003 100 $a20211011d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLeveraging Applications of Formal Methods, Verification and Validation$b[electronic resource] $e10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17?29, 2021, Proceedings /$fedited by Tiziana Margaria, Bernhard Steffen 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (505 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13036 311 $a3-030-89158-5 327 $aSTRESS - Introduction -- An Introduction to Graphical Modeling of CI/CD Workflows with Rig -- Pyrus: an Online Modeling Environment for No-Code Data-Analytics Service Composition -- Integrating External Services in DIME -- Asking Why -- Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021 -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles -- DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories -- From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics -- Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data -- Programming - What is Next? -- Low-Code is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering -- Time for All Programs, Not Just Real-Time Programs -- Integrated Modeling and Development of Component-Based Embedded Software in Scala -- Slang: The Sireum Programming Language -- HAMR: An AADL Multi-Platform Code Generation Toolset -- Fundamental Constructs in Programming Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing -- GATE: Gradual Effect Types -- Fixing Classification: A Viewpoint-based Approach -- The Future of Programming and Modelling: a Vision -- Towards Model-based Intent-Driven Adaptive Software -- The Interoperability Challenge: Building a model driven Digital Thread platform for CPS -- Programming vs. That Thing Subject Matter Experts Do -- Aligned, Purpose-Driven Cooperation: The Future Way of System Development -- RAILS: Roadmaps for AI integration in the raiL Sector -- A Journey through Software Model Checking of Interlocking Programs -- Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation -- Formal Methods in Railway Signalling Infrastructure Standardisation Processes -- sVerify: Verifying Smart Contracts through Lazy Annotation and Learning -- Verifying temporal properties of stigmergic collective systems using CADP. 330 $aThis book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v13036 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aApplication software 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aComputer and Information Systems Applications 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aApplication software. 615 14$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aComputer and Information Systems Applications. 676 $a006.3 702 $aMargaria$b Tiziana 702 $aSteffen$b Bernhard 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464522603316 996 $aLeveraging applications of formal methods, verification and validation$92055774 997 $aUNISA