1. [1] M. Matsumoto, M. Koyamada, and T. Matsuodani: Software Development Verification Technologies (in Japanese), IEICE, Tokyo, 1997
2. [2] H. Nagano and T. Miyachi, eds.: Destributed Software Development (in Japanese), Kyoritsu-Shuppan, Tokyo, 1996
3. [3] M. Takahashi: A Method of Effort Estimation under Client/Server System Development (in Japanese), Soft Research Center, Tokyo, 1998
4. [4] M. Matsumoto, M. Tsukamoto, A. Katshuji, M. Ishigamori, H. Nakamura, H. Nakatani, eds.: Specification Method under The 3-layers Client/Server (in Japanese), Kyoritsu-Shuppan, Tokyo, 1999
5. [5] L. Arnold: Stochastic Differential Equations-Theory and Applications, Krieger Publishing Company, Florida, 1992