Jonathan Jacky – författare
Visar alla böcker från författaren Jonathan Jacky. Handla med fri frakt och snabb leverans.
4 produkter
The Way of Z
Practical Programming with Formal Methods
Häftad, 1996
1056 kr
Lägg i varukorg
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 students in programming and software engineering. It presents realistic case studies emphasising safety-critical …
Model-Based Software Testing and Analysis with C#
Av Jonathan Jacky, Margus Veanes m. fl.
Häftad, 2007
687 kr
Lägg i varukorg
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 results of test runs. These methods increase the automation in each of these steps, making them more timely, more …
Model-Based Software Testing and Analysis with C#
Av Jonathan Jacky, Margus Veanes m. fl.
Inbunden, 2007
1348 kr
Tillfälligt slut
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 results of test runs. These methods increase the automation in each of these steps, making them more timely, more …
Directions and Implications of Advanced Computing
Av Douglas Schuler, Jonathan Jacky
Inbunden, 1990
295 kr
Tillfälligt slut
This volume results from the first research conference organized by Computer Professional for Social Responsibility (CSPR). Each chapter is authored by a computer scientist addressing the social impact of computers. Four chapters describe the milieu in which computer science is managed and …
