Specification and development of interactive systems: focus on streams, interfaces, and refinement

✍ Scribed by Manfred Broy, Ketil Stølen

Publisher: Springer
Year: 2001
Tongue: English
Leaves: 356
Series: Monographs in Computer Science
Edition: Reprint
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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

📜 SIMILAR VOLUMES

Specification and Development of Interac

📁 Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement

✍ Manfred Broy, Ketil Stølen 📂 Library 📅 2001 🏛 Springer 🌐 English

<p>This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to

Ergonomics of human-system interaction.

📁 Ergonomics of human-system interaction. Guidance on visual user-interface elements

📂 Scientific

Mental models : design of user interacti

📁 Mental models : design of user interaction and interfaces for domestic energy systems

✍ Revell, Kirsten M. A.; Stanton, Neville Anthony 📂 Library 📅 2017 🏛 CRC Press, Taylor & Francis 🌐 English

There is a resurgence of interest in mental models due to advances in our understanding of how they can be used to help design and due to the development of practical methods to elicit them. This book brings both areas together with a focus on reducing domestic energy consumption. The book focuses o

The Art and Science of Interface and Int

📁 The Art and Science of Interface and Interaction Design

✍ Christa Sommerer, Lakhmi C. Jain (auth.), Christa Sommerer, Lakhmi C. Jain, Laur 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>Artists and creators in interactive art and interaction design have long been conducting research on human-machine interaction. Through artistic, conceptual, social and critical projects, they have shown how interactive digital processes are essential elements for their artistic creations. Res

The Art and Science of Interface and Int

📁 The Art and Science of Interface and Interaction Design

✍ Christa Sommerer, Lakhmi C. Jain (auth.), Christa Sommerer, Lakhmi C. Jain, Laur 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Paper Prototyping: The Fast and Easy Way

📁 Paper Prototyping: The Fast and Easy Way to Design and Refine User Interfaces (Interactive Technologies)

✍ Carolyn Snyder 📂 Library 📅 2003 🏛 Morgan Kaufmann 🌐 English

I recommended to read this book if you want to learn the best GUI test technik, that every UX designer must know and practice. I usually conduct paper prototype tests and very suprising results surface, that highly improve the over all value of the product my team working on.Don't buy this book if n