番号 |
日付 |
著者 |
題名 |
ファイル |
28 |
1989/2/27 |
高木千春 |
自然語の仕様からプログラムへの変換システムの開発−形式的仕様への変換部における機能強化について− |
|
27 |
1989/2/27 |
荒木浩 |
開発過程記述用言語SPDLの処理系の試作−SPDLトランスレータ− |
|
26 |
1988/3/1 |
上甲徹 |
ハイパーカード上の構造化分析用図形エディタの作成 |
|
25 |
1988/3/1 |
児玉寛 |
プログラムテキストの変更情報から見たプログラミング効率の分析 |
|
24 |
1988/3/1 |
河野俊二 |
プログラム仕様に用いる自然語の処理のための辞書管理部の作成 |
|
23 |
1988/3/1 |
楠本真二 |
プログラムテキストの変更情報から見たバグとその除去時間の分析 |
|
22 |
1988/3/1 |
飯田元 |
JSDにおける入力順序判定部作成過程の形式的記述 |
|
21 |
1987/3/4 |
川瀬淳 |
LISPインタープリタを用いたあるガーベジセル回収法の評価 |
|
20 |
1987/3/4 |
山本浩司 |
ソフトウェアの残存エラー数推定モデルの定量的比較 |
|
19 |
1987/3/4 |
宮地隆 |
囲碁プログラムへのB* 探索木アルゴリズムの実現方法について |
|
18 |
1987/3/4 |
御井敬 |
自然語で書かれたプログラム仕様から代数的仕様への変換システムにおけるコマンドインタプリタ部の作成 |
|
17 |
1987/3/4 |
林明宏 |
囲碁ルールの代数的記述とこれに基づく関数型言語ASL/Fプログラムの作成 |
|
16 |
1987/3/4 |
仲田恭典 |
PL/Iプログラム実行時エラーの原因診断エキスパートシステムの試作 |
|
15 |
1987/3/4 |
稲田良造 |
抽象的順序機械の処理系における構文解析部の作成 |
|
14 |
1986/3/3 |
野村研仁 |
代数的仕様記述の詳細化支援システムの試作 |
|
13 |
1986/3/3 |
中小路久美代 |
自然語による問題記述中に現われる語句の形式的意味定義に関する研究 |
|
12 |
1986/3/3 |
小田利彦 |
学生実験のプログラム開発過程における計量化の試み −信頼性・工数推定モデルへの適用− |
|
11 |
1986/3/3 |
大西諭 |
ソフトウェア開発過程の分析のためのデータ収集・解析システムの作成 |
|
10 |
1986/3/3 |
岩本陽巧 |
万歩計と方位磁石による道順教示システム −システムの有効性について− |
|
9 |
1986/3/3 |
伊藤博樹 |
PL/Iプログラムにおけるデバッグ支援システムの作成 |
|