Noch Fragen? 0800 / 33 82 637

Runtime Verification

A Hands-On Approach in Java

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Drawing from years of the authors' real-world experience, the reader progresses from manually writing runtime verification code to instrumenting monitoring using aspect-oriented programming, after which they explore increasing levels of specification abstraction: automata, regular expressions, and linear time temporal logic. A range of other topics is also explored in the book, including real-time properties, concerns of efficiency and persistence, integration with testing and architectural considerations. weiterlesen

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-031-09268-8 / 978-3031092688 / 9783031092688

Verlag: Springer International Publishing

Erscheinungsdatum: 12.07.2022

Seiten: 205

Autor(en): Gordon J. Pace, Christian Colombo

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück