LIBROS DEL AUTOR: shaoying liu

4 resultados para LIBROS DEL AUTOR: shaoying liu

Ordenar por

Software Fault Prevention, Verification, and Validation

Shaoying Liu

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 discussio...

Disponible

83,48 €
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 €