Produktbild: Software Fault Prevention, Verification, and Validation
Band 16356

Software Fault Prevention, Verification, and Validation Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

64,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.02.2026

Abbildungen

XIV, 63 illus., 27 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Yuting Chen + weitere

Verlag

Springer Singapore

Seitenzahl

179

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

306 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9560-31-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.02.2026

Abbildungen

XIV, 63 illus., 27 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Singapore

Seitenzahl

179

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

306 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-981-9560-31-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Software Fault Prevention, Verification, and Validation
  • .-  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.