✦ LIBER ✦

Formal Methods in Human-Computer Interaction

✍ Scribed by Rinsjel Winder

Publisher: Elsevier Science
Year: 1992
Weight: 103 KB
Volume: 36
Category: Article
ISSN: 0020-7373
DOI: 10.1016/0020-7373(92)90047-o

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Book Review: Formal methods in human–com

Book Review: Formal methods in human–computer interaction. Edited by Philippe Palanque and Fabio Paterno. Published by Springer Verlag, Heidelberg, Germany, 1998. ISBN: 3-540-76158-6, 376 pages. Price: U.K. £29.50, Germany DM 89.00, Soft Cover.

✍ Harold Thimbleby 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 22 KB

Research Methods for Human–Computer Inte

Research Methods for Human–Computer Interaction

✍ Randolph G. Bias 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 109 KB

Formal methods in computer system design

✍ C.A.R. Hoare 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 501 KB

This note expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. Its application to software engineering promises the same benefits as those derived from the use of mathematics in all other branches of modem science.

Advances in human-computer interaction

✍ Divilbiss, James L. 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 853 KB

Computing with words in formal methods

✍ Tuan D. Pham 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB 👁 1 views

User representations of computer systems

User representations of computer systems in human-computer speech interaction

✍ René Amalberti; Noëlle Carbonell; Pierre Falzon 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 732 KB