Takuo Sugamma

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 introduce an inheritance concept into a specification method of mobile and real-time systems in order to reuse and refine existing specifications. Reusability by inheritance is emphasized in this paper. We take multiple inheritance to enable to reuse several specifications at a time. An upper specification can be skillfully divided into inherited parts(More)
  • 1