Learn More
Eliciting customer's requirements is the most important issue for a system integration project. Failure to elicit the customer's requirements can cause an enormous correction cost. However there are only a few practical, concrete guidelines to do. In this paper, we describe a method to extract viewpoints and checklists for eliciting customer's requirements(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