Takanori Ugai

Learn More
This paper reports on a technique for specifying concurrent systems by using a formal specification language with reflective computation mechanism. We call the specifications written by a reflective language reflective specifications. Our reflective language is an enhanced version of LOTOS (Language of Temporal Ordering Specification). We embedded(More)
Based on our experiences, we have proposed a mathematical model for knowledge transfer in order to make knowledge management mechanism or system take root in the organization and to obtain guidelines to make it work. We are developing a know-how sharing system designed based on the insight obtained from the proposed model. We derived and applied the two(More)
  • 1