91
TITLE: Using temporal logic to support the specification and prototyping of interactive control systems
AUTHORS: Johnson, CW; Harrison, MD ;
SOURCE: International Journal of Man-Machine Studies, VOLUME: 37, ISSUE: 3, PUBLISHED: 1992
INDEXED IN: Scopus CrossRef
IN MY: ORCID
92
TITLE: Modelling user, system and design: Results of a scenarios matrix exercise
AUTHORS: Hammond, N; Barnard, P; Coutaz, J; Harrison, M ; MacLean, A; Young, RM;
SOURCE: 1991 SIGCHI Conference on Human Factors in Computing Systems, CHI 1991 in Conference on Human Factors in Computing Systems - Proceedings, PUBLISHED: 1991
INDEXED IN: Scopus CrossRef
IN MY: ORCID
93
TITLE: PRINCIPLES AND INTERACTION MODELS FOR WINDOW MANAGERS.
AUTHORS: Dix, AJ; Harrison, MD ;
SOURCE: People and Comput, Des for Usability, Proc of the Second Conf of the British Comput Soc , PUBLISHED: 1986
INDEXED IN: Scopus
IN MY: ORCID
94
TITLE: USING PRINCIPLES TO DESIGN FEATURES OF A SMALL PROGRAMMING ENVIRONMENT.
AUTHORS: Dix, AJ; Harrison, MD ; Miranda, EE;
SOURCE: Software Engineering Environments. , PUBLISHED: 1986
INDEXED IN: Scopus
IN MY: ORCID
95
TITLE: Monitoring a target network to support subsequent host simulation  Full Text
AUTHORS: Harrison, MD ;
SOURCE: Journal of Microcomputer Applications, VOLUME: 8, ISSUE: 1, PUBLISHED: 1985
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 10 of 10. Total results: 95.