Now showing items 1-2 of 2
Formal specification and verification of safety interlock systems: A comparative case study
(Stellenbosch : University of Stellenbosch, 2007-12)
The ever-increasing reliance of society on computer systems has led to a need for highly reliable systems. There are a number of areas where computer systems perform critical functions and the development of such systems ...
An embodied conversational agent with autistic behaviour
(Stellenbosch : Stellenbosch University, 2012-03)
ENGLISH ABSTRACT: In this thesis we describe the creation of an embodied conversational agent which exhibits the behavioural traits of a child who has Asperger Syndrome. The agent is rule-based, rather than arti cially ...