Sökt på: Böcker av Jonathan Jacky
totalt 5 träffar
Model-Based Software Testing and Analysis with C#
This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the …
The Way of Z
This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious …
The Way of Z
This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious …
Model-Based Software Testing and Analysis with C#
This book teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test cases, and check the …
Directions and Implications of Advanced Computing
This volume results from the first research conference organized by Computer Professional for Social Responsibility (CSPR). Each chapter is authored by a computer scientist …