Sökning: "Kenji Taguchi"

Hittade 1 avhandling innehållade orden Kenji Taguchi.

  1. 1. Integrating the Z notation and behavioural formalisms

    Författare :Kenji Taguchi; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER