Interactive Systems
Download Interactive Systems PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Interactive Systems book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Designing Interactive Systems
The authors in this work focus on and explore human computer interaction (HCI) by bringing together the best practice and experience from HCI and interaction design.
Specification and Development of Interactive Systems
Author: Manfred Broy
language: en
Publisher: Springer Science & Business Media
Release Date: 2001-04-27
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.
Designing Interactive Systems
The authors in this work focus on and explore human computer interaction (HCI) by bringing together the best practice and experience from HCI and interaction design.