Related Books

Design Methods for Reactive Systems
Language: en
Pages: 486
Authors: Roel Wieringa
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

This book provides a framework for software design that shows where the techniques and approaches of design methods for software systems fit in. It discusses th
Design Methods for Reactive Systems
Language: en
Pages: 485
Authors: R. J. Wieringa
Categories: Computers
Type: BOOK - Published: 2003-01-09 - Publisher: Elsevier

DOWNLOAD EBOOK

Design Methods for Reactive Systems describes methods and techniques for the design of software systems—particularly reactive software systems that engage in
Verification of Reactive Systems
Language: en
Pages: 608
Authors: Klaus Schneider
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents a
Reactive Systems in Java
Language: en
Pages: 282
Authors: Clement Escoffier
Categories: Computers
Type: BOOK - Published: 2021-11-10 - Publisher: "O'Reilly Media, Inc."

DOWNLOAD EBOOK

Reactive systems and event-driven architecture are becoming indispensable to application design, and companies are taking note. Reactive systems ensure that app
Design Methods and Applications for Distributed Embedded Systems
Language: en
Pages: 339
Authors: Bernd Kleinjohann
Categories: Computers
Type: BOOK - Published: 2006-04-11 - Publisher: Springer

DOWNLOAD EBOOK

The IFIP TC-10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004) brings together experts from industry and academia to discuss recent