Design, Specification and Verification of Interactive Systems ’99

Explore the intricate world of interactive systems with Design, Specification and Verification of Interactive Systems ’99 by David J Duke. This essential volume presents the formal proceedings from the Eurographics Workshop held at the University of Minho in Braga, Portugal, from June 2 to June 4, 1999. Spanning 282 pages, this softcover reprint of the original first edition offers invaluable insights into the design, specification, and verification processes crucial for developing robust interactive systems.

Published by Springer Verlag GmbH, this book delves into key topics such as operating systems, graphical user interfaces (GUIs), and virtual reality, making it a must-have for professionals and students alike in the fields of computer graphics and programming. Enhance your understanding of user interface design and the complexities of interactive systems with this comprehensive guide.