May 25

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

-- Alfred North Whitehead

 
 

Featured chapter

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

Read Steve's chapter !

 
 

Help us help you!

 
 

Bernard Sufrin

Add description
Add publication

Publications by Bernard Sufrin (bibliography)

 what's this?
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.

© All rights reserved Sufrin and/or Cambridge University Press

 
Add publication
Show this list on your homepage
 
 

Join the technology elite and advance:

 
1.

Your career

 
2.

Your network

 
 3.

Your skills

 
 
 
 
 
 

Changes to this page (author)

24 Feb 2010: Modified
17 Aug 2009: Added
28 Apr 2003: Added

Page Information

Page maintainer: The Editorial Team
URL: http://www.interaction-design.org/references/authors/bernard_sufrin.html
May 25

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

-- Alfred North Whitehead

 
 

Featured chapter

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

Read Steve's chapter !

 
 

Help us help you!