Calendar

May 27

13th Intl. Conf. on New Interfaces for Musical Expression

May 28

Graphics Interface 2013

May 29

Boston UXPA Usability and UX Conf. 2013

May 25

“ Civilization advances by extending the number of important operations which we can perform without thinking of them. ”

-- Alfred North Whitehead

Share this quote on...
Get more quotes via RSS or by joining our Usability Quote of the Day Facebook Page

Featured chapter

Read the fascinating history of Wearable Computing, told by its father, Steve Mann

Read Steve's chapter !

Help us help you!

Spread the word:
Donate
Other ways to help

Bernard Sufrin

Add description

← Button will not work: You have not enabled Javascript. How do I enable it?

Rename / change spelling

Add publication

← Button will not work: You have not enabled Javascript. How do I enable it?

Publications by Bernard Sufrin (bibliography)

1987

Edit | Del

Hoare, C. A. R., Hayes, Ian J., He, Jifeng, Morgan, Carroll, Roscoe, A. W., Sanders, Jeff W., Sørensen, Ib Holm, Spivey, J. Michael and Sufrin, Bernard (1987): Laws of Programming. In Communications of the ACM, 30 (8) pp. 672-686.

1986

Edit | Del

Sufrin, Bernard (1986): Formal Methods and the Design of Effective User Interfaces. In: Harrison, Michael D. and Monk, Andrew (eds.) Proceedings of the Second Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers II August 23-26, 1986, University of York, UK. pp. 24-43.

“Designing an effective user interface to a complex information system is difficult, since it cannot be done in isolation from the design of the information system itself. All too often the effectiveness of a system is compromised by the intrusion into the user interface of details of the system's implementation. We conjecture that it is only by understanding the essence of the purpose of an information system -- abstracting from the details of any proposed implementation -- that one can begin to judge the validity of design choices concerning the user-system interface. We also conjecture that the language of mathematics is a useful medium both for explaining our understanding and recording design choices. In this paper we offer support for our conjectures by discussing the design of part of an office system. We use the Z notation [Morgan&Sufrin 84, Morgan 85, Sufrin 85, Spivey 86] which is based on the language of mathematics -- extended slightly to facilitate the description of large systems.”

Add publication