Formal Methods in Human-Computer Interaction

Explore the intersection of technology and user experience with Formal Methods in Human-Computer Interaction by Michael Harrison. First published in 1990 and updated in 2009 by Cambridge University Press, this insightful paperback spans 344 pages, delving into the essential application of formal methods to enhance human-computer interfaces.

This comprehensive guide covers crucial topics such as system specification, construction from specifications, and the abstraction of existing systems. Each chapter is designed to illuminate both the theoretical foundations and practical implications of these methods, making it a valuable resource for researchers, practitioners, and students alike.

Whether you are looking to deepen your understanding of human-computer interaction or seeking to improve system design, Harrison’s work offers a thorough exploration of these vital concepts. Don’t miss the opportunity to enrich your knowledge in this ever-evolving field!