Search for dissertations about: "statecharts"

Found 5 swedish dissertations containing the word statecharts.

  1. 1. Steps Towards Creating Socially Competent Game Characters

    Author : Jenny Brusk; Torbjörn Lager; Högskolan i Skövde; Gothenburg University; Göteborgs universitet; []
    Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; dialogue systems; non-playable characters; computer games; SCXML; statecharts; socially oriented dialogues; Humaniora-samhällsvetenskap; Humanities and Social sciences; Media; Technology and Culture MTEC ; Media; Technology and Culture MTEC ; dialogue systems; scxml;

    Abstract : This thesis investigates and presents approaches towards creating more socially competent NPCs by means of natural language dialogues. The aim is to provide hands-on solutions for game developers who want to offer interactions with the NPCs in the game that are socially driven rather than functionally motivated and that encourage the player to build and maintain relationships between the character they control and the other game characters. READ MORE

  2. 2. Modelling object-oriented dynamic systems using a logic-based framework

    Author : Choong-ho Yi; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; NATURVETENSKAP; Computer science; Datavetenskap; Information Systems; Informatik;

    Abstract : We observe that object-oriented (OO) formalisms and specification languages are popular and obviously useful, and, in particular, that they are increasingly used even for systems that change over time. At the same time, however, the system specification is not precise enough in these approaches. READ MORE

  3. 3. Integrating the Z notation and behavioural formalisms

    Author : Kenji Taguchi; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; Informatics; computer and systems science; Integrated Formal Methods; CCS; Z; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap; datorteknik; Computer Systems;

    Abstract : The last several years have witnessed an increasing interest in integrating different formalisms in the formal methods research community. Particularly a number of notations have been proposed by different authors which integrate existing state-based formalisms such as Z, VDM and B and behavioural formalisms such as CCS, CSP and Statecharts. READ MORE

  4. 4. Exception Handling in Recipe-Based Batch Control

    Author : Rasmus Olsson; Institutionen för reglerteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; S88; grafchart; exception handling; recipe; batch;

    Abstract : The focus of this thesis is exception handling in recipe-based batch control. Exception handling is a critical element for achieving long-term success in batch production. It is reported to constitute 40-60 percent of the batch control design and implementation effort. READ MORE

  5. 5. The effects of modeling requirements in early phases of buyer-supplier relations

    Author : Göran Backlund; Linköpings universitet; []
    Keywords : ;

    Abstract : This work is an attempt to attack waste of resources during development of embedded systems. Modern systems, in aircraft or automobiles, constantly grow in complexity and also become more integrated. READ MORE