Cantitate/Preț
Produs
Total produse
Vezi coșul
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 de Tiziana Margaria

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: Lecture Notes in Computer Science, cartea 13036

Editat de Tiziana Margaria, Bernhard Steffen
en Limba Engleză Paperback – 12 oct 2021
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.  
 
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (10) 32604 lei  6-8 săpt.
  Springer International Publishing – 5 aug 2021 32604 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 11 sep 2012 32975 lei  6-8 săpt.
  Springer International Publishing – 27 oct 2020 33705 lei  6-8 săpt.
  Springer International Publishing – 27 oct 2020 33965 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 11 sep 2012 34108 lei  6-8 săpt.
  Springer International Publishing – 6 oct 2016 35571 lei  6-8 săpt.
  Springer International Publishing – 12 oct 2021 47744 lei  6-8 săpt.
  Springer International Publishing – 29 oct 2020 59371 lei  6-8 săpt.
  Springer International Publishing – 6 oct 2016 66881 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 14 oct 2008 99922 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 47744 lei

Preț vechi: 59679 lei
-20% Nou

Puncte Express: 716
Preț estimativ în valută:
9141€ • 9519$ • 7585£

Carte tipărită la comandă

Livrare economică 14-28 februarie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030891589
ISBN-10: 3030891585
Pagini: 504
Ilustrații: XII, 504 p. 124 illus., 71 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.72 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland

Cuprins

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 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

Textul de pe ultima copertă

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
The two volumes contain papers presented in the topical sections on adaptable and evolving software for eternal systems, approaches for mastering change, runtime verification: the application perspective, model-based testing and model inference, learning techniques for software verification and validation, LearnLib tutorial: from finite automata to register interface programs, RERS grey-box challenge 2012, Linux driver verification, bioscientific data processing and modeling, process and data integration in the networked healthcare, timing constraints: theory meets practice, formal methods for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software aspects of robotic systems, process-oriented geoinformation systems and applications, handling heterogeneity in formal development of HW and SW Systems.

Caracteristici

Fast track conference proceedings Unique visibility State of the art research