05544nam 22006975 450 991050266960332120230330075034.03-030-89159-310.1007/978-3-030-89159-6(CKB)5140000000013003(MiAaPQ)EBC6749176(Au-PeEL)EBL6749176(OCoLC)1276852105(DE-He213)978-3-030-89159-6(PPN)258296283(EXLCZ)99514000000001300320211011d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierLeveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings /edited by Tiziana Margaria, Bernhard Steffen1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (505 pages)Theoretical Computer Science and General Issues,2512-2029 ;130363-030-89158-5 STRESS - 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.This 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. .Theoretical Computer Science and General Issues,2512-2029 ;13036Software engineeringArtificial intelligenceComputer programmingCompilers (Computer programs)Application softwareSoftware EngineeringArtificial IntelligenceProgramming TechniquesCompilers and InterpretersComputer and Information Systems ApplicationsSoftware engineering.Artificial intelligence.Computer programming.Compilers (Computer programs).Application software.Software Engineering.Artificial Intelligence.Programming Techniques.Compilers and Interpreters.Computer and Information Systems Applications.006.3Margaria TizianaSteffen BernhardMiAaPQMiAaPQMiAaPQBOOK9910502669603321Leveraging applications of formal methods, verification and validation2055774UNINA