Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001885842/catalog> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- catalog contributor b2713390.
- catalog contributor b2713391.
- catalog created "1990.".
- catalog date "1990".
- catalog date "1990.".
- catalog dateCopyrighted "1990.".
- catalog description "Includes bibliographical references (p. [297]-316) and index.".
- catalog description "The role of formal methods in human-computer interaction / Michael Harrison and Harold Thimbleby -- HCI formalisms and cognitive psychology : the case of Task-Action Grammar / Franz Schiele and Thomas Green -- Putting design into practice : formal specification and the user interface / Roger Took -- Non determinism as a paradigm for understanding the user interface / Alan Dix -- A state model of direct manipulation in interactive systems / Michael Harrison and Alan Dix -- Specification, analysis and refinement of interactive processes / Bernard Sufrin and Jifeng He -- From abstract models to functional prototypes / Colin Runciman -- Designing abstractions for communication control / Gilbert Cockton -- Structuring dialogues using CSP / Heather Alexander.".
- catalog extent "xvii, 323 p. :".
- catalog identifier "052137202X".
- catalog isPartOf "Cambridge series on human-computer interaction ; 2".
- catalog issued "1990".
- catalog issued "1990.".
- catalog language "eng".
- catalog publisher "Cambridge ; New York : Cambridge University Press,".
- catalog subject "004/.01/9 20".
- catalog subject "Human-computer interaction.".
- catalog subject "QA76.9.H85 F67 1990".
- catalog tableOfContents "The role of formal methods in human-computer interaction / Michael Harrison and Harold Thimbleby -- HCI formalisms and cognitive psychology : the case of Task-Action Grammar / Franz Schiele and Thomas Green -- Putting design into practice : formal specification and the user interface / Roger Took -- Non determinism as a paradigm for understanding the user interface / Alan Dix -- A state model of direct manipulation in interactive systems / Michael Harrison and Alan Dix -- Specification, analysis and refinement of interactive processes / Bernard Sufrin and Jifeng He -- From abstract models to functional prototypes / Colin Runciman -- Designing abstractions for communication control / Gilbert Cockton -- Structuring dialogues using CSP / Heather Alexander.".
- catalog title "Formal methods in human-computer interaction / edited by Michael Harrison and Harold Thimbleby.".
- catalog type "text".