TY - BOOK
T1 - Integrating formal and diagrammatic techniques in requirements capture and early system design
AU - Hewitt, J.
AU - Jones, S.
AU - Sapsford-Francis, J.
N1 - Submitted for presentation at the Workshop on Research Issues in the Intersection Between Software Engineering and Human-Computer Interaction, held before the 16th International Conference on Software Engineering, Sorrento, 1994.
PY - 1994
Y1 - 1994
N2 - The process of design in software engineering is a complex one. Decisions made in the design stage have far reaching, and sometimes devastating, effects on subsequent development work. Adopting a user-centred approach to system development adds a further layer of complexity which must, in turn, be addressed. There is considerable experience at the University of Hertfordshire of developing novel human-computer systems through user-centred design. This experience provides a strong focus for our interests in enhancing the quality of the development process by integrating formal methods with the less formal techniques currently used.
AB - The process of design in software engineering is a complex one. Decisions made in the design stage have far reaching, and sometimes devastating, effects on subsequent development work. Adopting a user-centred approach to system development adds a further layer of complexity which must, in turn, be addressed. There is considerable experience at the University of Hertfordshire of developing novel human-computer systems through user-centred design. This experience provides a strong focus for our interests in enhancing the quality of the development process by integrating formal methods with the less formal techniques currently used.
M3 - Other report
T3 - UH Computer Science Technical Report
BT - Integrating formal and diagrammatic techniques in requirements capture and early system design
PB - University of Hertfordshire
ER -