Muutke küpsiste eelistusi

Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 78, 2025, Proceedings [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 187 pages, kõrgus x laius: 235x155 mm, 31 Illustrations, color; 14 Illustrations, black and white; X, 187 p. 45 illus., 31 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 15593
  • Ilmumisaeg: 21-Mar-2025
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031870530
  • ISBN-13: 9783031870538
Teised raamatud teemal:
  • Pehme köide
  • Hind: 122,82 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 144,49 €
  • 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
Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 78, 2025, ProceedingsSuurem pilt
  • Formaat: Paperback / softback, 187 pages, kõrgus x laius: 235x155 mm, 31 Illustrations, color; 14 Illustrations, black and white; X, 187 p. 45 illus., 31 illus. in color., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 15593
  • Ilmumisaeg: 21-Mar-2025
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3031870530
  • ISBN-13: 9783031870538
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783031870538.html
Märksõnad:
This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 78, 2025.



The 11 full papers  and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.
.- Improved Gas Optimization of Smart Contracts.


.- Distributing Quantum Circuits Using Formal Methods.


.- Automated Test Generation: Taxonomy and Tool Applications.


.- Finding Universally Quantified Heap Invariants by Horn
Clause Transformations.


.- A Framework for Model-Based Specification and Verification
in Feature-Oriented Software Product Lines.


.- Extracting Formal Models for Users Behaviors in Social Networks using
Automata and Machine Learning.


.- Shielded Online Reinforcement Learning for Stormwater Detention Ponds.


.- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic
Logic.


.- On time-sensitive control closure for secure information flow.


.- Automatic Generation of Loop Invariants in Dafny with Large Language
Models.


.- Streamlining Parameter Tuning in Full-Body Racing Simulators with an
Automated Pipeline.


.- Formally Verified Verifiable Group Generators.