研究業績 (旧鳥居研～井上研)

番号	著者	題名	日付	種別
77	Ohmaki Kazuhito	TERM: A parallel executable graph reduction machine for equational language	1989/1	article
76	河野俊二	テキスト処理問題のプログラム仕様からＣプログラムへの変換の試み	1989/7/13	report
75	大野浩史	プログラム設計のための構造表現モデルの提案と複合設計への適用	1989/5/30	report
74	馮安	ソフトウェア開発法の形式的記述のためのモデルの提案	1989/3/28-31	inproceeding
73	御井敬	テキスト処理問題の形式的仕様からプログラムへの変換	1989/3/28-31	inproceeding
72	楠本真二	チームによるプログラム開発におけるデバッグ能力の実験的評価	1989/3/15-17	inproceeding
71	飯田元	ソフトウェアプロセス記述言語ＳＰＤＬとその処理系の設計	1989/3/15-17	inproceeding
70	Kudo Hideo	Quantifying a Design Process Based on Experiments	1989	article
69	Seki Hiroyuki	A Processing System for Program Specifications in a Natural Language	1988/1/5-8	inproceeding
68	Kishida Kouichi	Quality-Assurance Technology in Japan	1987/9	article
67	Torii Koji	Activities for reliable softwares in Japan	1987/1/12-14	inproceeding
66	飯田元	ジャクソンシステム開発法の代数的言語による記述の試み	1988/9/12-14	inproceeding
65	河野俊二	プログラム仕様に用いる自然語処理のための語句の意味定義	1988/9/12-14	inproceeding
64	荻原剛志	ソフトウェア開発環境定義用スクリプトの生成法について	1989/3/2-3	inproceeding
63	井上克郎	囲碁ルールの形式化とその実行プログラムへの変換	1989/1	article
62	Inoue Katsuro	Analysis of Functional Programs to Detect Run-Time Garbage Cells	1988/10	article
61	荻原剛志	ソフトウェア開発環境記述用関数型言語の設計と処理系の試作	1988/12/9	report
60	河合秀夫	万歩計と方位磁石による人間用ナビゲーションシステム	1988/11	article
59	稲田良造	ジャクソン開発法の形式的記述の詳細化とその実行	1988/12/9	report
58	御井敬	プログラム仕様に用いる自然語の語句に対する意味定義について	1988/11/25	report


/ ホームページ / 研究紹介 / 発表論文・技術報告・学位論文 / メンバー / ニュース /