Runtime Verification

A Hands-On Approach in Java

By: Christian Colombo, Gordon J. Pace

Write A Review

Paperback | 13 July 2022

At a Glance

Paperback
220 Pages

Dimensions(cm)
23.5 x 15.49 x 1.5

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with almost no assumptions on the knowledge of the reader and provides exercises throughout the book through which the reader builds their own runtime verification tool. All that is required are basic programming skills and a good working knowledge of the object-oriented paradigm, ideally Java.

To this end, the first six chapters of the book should be read in order, they summarize the necessary foundations and are prerequisites for all the others that follow. Chapters 7-10 can be read independently, since each looks into the use of different specification language requirements: whether automata, regular expressions, linear time temporal logic, or real-time properties. Similarly, Chapters 11-13 are largely independent, focusing on the practical implications and a number of more advanced topics ranging from concerns of efficiency and persistence, to integration with testing and architectural considerations.

The book is written for graduate students specializing in software engineering as well as for industry professionals who need an introduction to the topic of runtime verification. While the book focuses on underlying foundations and practical techniques, it additionally provides for each chapter a reading list in the appendix for the interested reader who would like to deepen their knowledge in a particular area.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.