Fundamentals of Software Engineering
Springer International Publishing (Verlag)
978-3-031-87053-8 (ISBN)
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 7 8, 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 User s 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.
| Erscheinungsdatum | 22.03.2025 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | X, 187 p. 45 illus., 31 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | computer programming • computer software • Concurrency • Distributed Systems • formal methods • information systems • Interactive Computing • Logic Design • Models of Computation • Programming Languages • Semantics • Software engineering |
| ISBN-10 | 3-031-87053-0 / 3031870530 |
| ISBN-13 | 978-3-031-87053-8 / 9783031870538 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
