Search for dissertations about: "Kenji Taguchi"

Found 1 swedish dissertation containing the words Kenji Taguchi.

2. 1. Integrating the Z notation and behavioural formalisms

   Author : Kenji Taguchi; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; 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