Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Shanghai"
Treffer 20 von 16128
|
|
| Link zu diesem Datensatz | https://d-nb.info/1390552179 |
| Titel | Software Fault Prevention, Verification, and Validation : Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings / edited by Yuting Chen, Hiroyuki Okamura, Shaoying Liu |
| Person(en) |
Chen, Yuting (Herausgeber) Okamura, Hiroyuki (Herausgeber) Liu, Shaoying (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2026 |
| Verlag | Singapore : Springer Nature Singapore, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2026 |
| Umfang/Format | Online-Ressource, XIV, 179 p. 63 illus., 27 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-981-95-6031-8 Printed edition:: ISBN: 978-981-95-6033-2 |
| Inhalt | -- Software Analysis. -- Impact of IEEE Computer Society in Advancing Technologies, including AI SE based on Modeling with Patterns and MLOps. -- Can Generative AI Enhance the Effectiveness of N-Version Programming?. -- QRAT: A Reachability Analysis Tool for Quantum Programs. -- An Empirical Study on Software Defect Prediction Based on Neural Network DeepDebugger Technique. -- Fuzzing the Solidity Compiler Solc with Fuzz4All. -- Diagnosing and Repairing Field Access Hallucinations in LLM-Based Test Generation. -- Data-driven and Scenario-based Risk Analysis Considering Uncertainty in Machine Learning Systems. -- Similarity Evaluation between Queries and Chunks in RAG Systems. -- A Support Tool for Verification of Simulation Relations between State Machines with Maude. -- Design and Implementation of a Software Tool to Support Agile-SOFL. -- Model Checking the Two-Phase Commit Protocol for Distributed Database Systems. -- FormalVerificationofMeasurement-basedQuantumComputationin Maude |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2602180307321.013090574129 DOI: 10.1007/978-981-95-6032-5 |
| URL | https://doi.org/10.1007/978-981-95-6032-5 |
| ISBN/Einband/Preis | 978-981-95-6032-5 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 16356 |
| Anmerkungen |
Hinweis zur Barrierefreiheit: PDF/UA-1 Hinweis zur Barrierefreiheit: Table of contents navigation Hinweis zur Barrierefreiheit: Single logical reading order Hinweis zur Barrierefreiheit: Short alternative textual descriptions Hinweis zur Barrierefreiheit: Use of color is not sole means of conveying information Hinweis zur Barrierefreiheit: Use of high contrast between text and background color Hinweis zur Barrierefreiheit: Next / Previous structural navigation Hinweis zur Barrierefreiheit: All non-decorative content supports reading without sight Hinweis zur Barrierefreiheit: Accessibility summary: This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation, keyboard-friendly links and forms and searchable, selectable text. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupportspringernature.com. Please note that a more accessible version of this eBook is available as ePub Hinweis zur Barrierefreiheit: No reading system accessibility options actively disabled Hinweis zur Barrierefreiheit: Publisher contact for further accessibility information: accessibilitysupportspringernature.com |
| DDC-Notation | 005.1 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 20 von 16128
Administration
