玉井 哲雄
タマイ テツオ (Tetsuo Tamai)
更新日: 2022/09/07
基本情報
研究キーワード
2学歴
4-
- 1972年
-
- 1972年
-
- 1970年
-
- 1970年
委員歴
2-
1997年
-
1995年
MISC
13-
ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS 67-74 2000年
-
INFORMATION AND SOFTWARE TECHNOLOGY 41(14) 1005-1010 1999年11月
-
INFORMATION AND SOFTWARE TECHNOLOGY 40(5-6) 253-257 1998年7月
-
International Workshop on Principles of Software Evolution (IWPSE'98), Kyoto, Oct. 33-37 1998年
-
8th International Workshop on Software Specification and Design (IWSSD'96), Paderborn, Germany, March 125-134 1996年
-
オペレーションズ・リサーチ 40(10) 571-576 1995年
-
40(10) 571-576 1995年
-
INFORMATION AND SOFTWARE TECHNOLOGY 35(6-7) 339-344 1993年6月
-
電子情報通信学会論文誌A J76-A(4) 639-648 1993年
-
Proc. 15th International Conference on Software Engineering, May 1993, Baltimore, Maryland, U. S. A. 167-176 1993年
-
INFORMATION AND SOFTWARE TECHNOLOGY 34(7) 437-442 1992年7月
-
Proc. Conference on Software Maintenance-1992, Orlando, Florida, November 1992 63-69 1992年
書籍等出版物
4-
岩波書店 2004年
-
トッパン 1997年
-
Logic and Software Engineering, World Scientific 1996年
-
共立出版 1988年