Leveraging 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
(Sprache: Englisch)
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:...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
76.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Leveraging Applications of Formal Methods, Verification and Validation “
Klappentext zu „Leveraging Applications of Formal Methods, Verification and Validation “
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.
Inhaltsverzeichnis zu „Leveraging Applications of Formal Methods, Verification and Validation “
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-Codeis 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
... mehr
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
... weniger
Bibliographische Angaben
- 2021, 1st ed. 2021, XII, 504 Seiten, 71 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Tiziana Margaria, Bernhard Steffen
- Verlag: Springer, Berlin
- ISBN-10: 3030891585
- ISBN-13: 9783030891589
Sprache:
Englisch
Kommentar zu "Leveraging Applications of Formal Methods, Verification and Validation"
Schreiben Sie einen Kommentar zu "Leveraging Applications of Formal Methods, Verification and Validation".
Kommentar verfassen