Joost-Pieter Katoen – författare
776 kr
Skickas inom 3-6 vardagar
823 kr
Skickas inom 7-10 vardagar
959 kr
Läs direkt efter köp
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
1 114 kr
Skickas inom 10-15 vardagar
1 408 kr
Läs direkt efter köp
644 kr
Skickas inom 5-8 vardagar
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
561 kr
Skickas inom 10-15 vardagar
714 kr
Läs direkt efter köp
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.
The contributions in this Festschrift are written by a number of Ed''s former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed''s terminology applied mathematics in computer science.
The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
544 kr
Skickas inom 10-15 vardagar
687 kr
Läs direkt efter köp
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
561 kr
Skickas inom 10-15 vardagar
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp
708 kr
Läs direkt efter köp
561 kr
Skickas inom 10-15 vardagar
708 kr
Läs direkt efter köp