generated at
玉井哲雄

プログラムの正当性証明入門(1) 1979年06月号
プログラムの正当性証明入門(2) 1979年07月号
ソフトウェア開発におけるプロトタイピング 1983年12月号
ソフトウェアのテスト技法① ソフトウェアのテストとは 1986年05月号
ソフトウェアのテスト技法⑦ 静的解析技術(1) 1986年11月号
ソフトウェアのテスト技法 ⑧ 静的解析技術(2)――データフロー解析 1986年12月号
国と個人の顔 1991年10月号
ソフトウェアの語源 2001年01月号