Inicio > > Ciencias de la computación > Software Fault Prevention, Verification, and Validation
Software Fault Prevention, Verification, and Validation

Software Fault Prevention, Verification, and Validation

Shaoying Liu

83,48 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2025
Materia
Ciencias de la computación
ISBN:
9789819616206
83,48 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.The 18 full papers included in this book were carefully reviewed and selected from 39 submissions. This  SFPVV 2024 symposium encourages the exchange of ideas and discussion on how formal methods, testing-based techniques, AI-driven approaches, and their combinations can be explored, established, and refined to achieve the goals of software fault preven tion, verification, and validation.

Artículos relacionados

Otros libros del autor

  • Structured Object-Oriented Formal Language and Method
    Shaoying Liu
    This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for spe...
    Disponible

    60,76 €

  • Structured Object-Oriented Formal Language and Method
    Shaoying Liu
    This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for spe...
    Disponible

    48,46 €

  • Formal Engineering for Industrial Software Development
    Shaoying Liu
    In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of mathematical notation and calculus in software developmen...
    Disponible

    71,76 €

  • Formal Engineering for Industrial Software Development
    Shaoying Liu
    In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without verifying how the system is expected to function. Software engineering is no different in this respect. Formal methods involve the use of mathematical notation and calculus in software developmen...