Muutke küpsiste eelistusi

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 1729, 2021, Proceedings 1st ed. 2021 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 504 pages, kõrgus x laius: 235x155 mm, kaal: 783 g, 71 Illustrations, color; 53 Illustrations, black and white; XII, 504 p. 124 illus., 71 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13036
  • Ilmumisaeg: 12-Oct-2021
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030891585
  • ISBN-13: 9783030891589
Teised raamatud teemal:
  • Pehme köide
  • Hind: 67,23 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 79,09 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 1729, 2021, Proceedings 1st ed. 2021Suurem pilt
  • Formaat: Paperback / softback, 504 pages, kõrgus x laius: 235x155 mm, kaal: 783 g, 71 Illustrations, color; 53 Illustrations, black and white; XII, 504 p. 124 illus., 71 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 13036
  • Ilmumisaeg: 12-Oct-2021
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030891585
  • ISBN-13: 9783030891589
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783030891589.html
Märksõnad:
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.  





 
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