Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Software engineering and formal methods."
Treffer 1 von 66
|
|
| Link zu diesem Datensatz | https://d-nb.info/1346424217 |
| Titel | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen |
| Person(en) |
Margaria-Steffen, Tiziana (Herausgeber) Steffen, Bernhard (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2025 |
| Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2025 |
| Umfang/Format | Online-Ressource, XII, 330 p. 69 illus., 38 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-031-75386-2 Printed edition:: ISBN: 978-3-031-75388-6 |
| Inhalt | QuAK: Quantitative Automata Kit -- Automating Software Re-Engineering: Introduction to the ISoLA 2024 Track -- On using large language models pre-trained on digital twins as oracles to foster the use of formal methods in practice -- Cloud Continuum Digital Twins: Architectures of Solution, Open Technical Challenges, and Lessons Learned -- (Re-)Engineering Digital Twins Towards Federation: Vision and Roadmap -- Threats to Instrument Validity within “in Silico” Research: Software Engineering to the Rescue -- Automated Clone Elimination in Python Tests -- Towards Automated Security Hardening using Timed Path Conditions in Shared Bus Systems -- Towards a More Sustainable Re-Engineering of Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors -- X-by-Construction Meets AI -- Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI -- Logic-Based Explainability: Past, Present & Future -- Towards Hybrid-AI in Imaging using VoxLogicA -- Towards AI-assisted Correctness-by-Construction Software Development -- Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification -- Traceability and Accountability by Construction -- Synthesis from Infinite-State Generalized Reactivity(1) Specifications -- On Threat Model Repair -- Towards Formal Design of FDIR Components with AI |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2410290329210.469085178629 DOI: 10.1007/978-3-031-75387-9 |
| URL | https://doi.org/10.1007/978-3-031-75387-9 |
| ISBN/Einband/Preis | 978-3-031-75387-9 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 15222 |
| DDC-Notation | 006.3 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 1 von 66
Administration
