Yoshihito Kikuchi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We propose a declaration and validation method for finite state machine specification in an initial design phase of a user interface. The declaration is based on mathematical algebra. The validation has an input of the algebra and is done based on C.A.R. Hoare's (1973) effort using a prepared axiom set. The algebraic declaration is transferred to an(More)
  • 1