JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Harrison, MD
|
|
| dc.contributor.author | Duke, DJ
|
|
| dc.contributor.editor | Ram, Vevek
|
|
| dc.date.accessioned | 2018-08-15T09:52:05Z | |
| dc.date.available | 2018-08-15T09:52:05Z | |
| dc.date.issued | 1996 | |
| dc.identifier.citation | Harrison, M.D. & Duke, D.J. (1996) The role of formalism in engineering interactive systems. Industry Meets Academia: Proceedings of the 1996 National Research and Development Conference, The South African Institute of Computer Scientists and Information Technologists, Interaction Conference Centre, University of Natal, Durban, 26 & 27 September, hosted by The Department of Computer Science and Information Systems, University of Natal, Pietermaritzburg, edited by Vevek Ram, (ISBN 0-620-20568-7). | en |
| dc.identifier.isbn | 0-620-20568-7 | |
| dc.identifier.uri | http://hdl.handle.net/10500/24632 | |
| dc.description.abstract | This paper is concerned with the role of formal notations and methods in engineering interactive systems. It begins by briefly reviewing the role of formal methods in Human Computer Interaction.The objective of capturing requirements for interactive systems, particularly those requirements that are concerned with folding a user orientated perspective into the design, is then discussed. An object oriented specification technique is introduced to emphasise human interaction with the system and to provide a first step towards specifying user requirements. The paper concludes by discussing the use of this approach to support design refinement and to check that specifications satisfy interaction requirements. | en |
| dc.language.iso | en | en |
| dc.title | The role of formalism in engineering interactive systems | en |
