| Number |
Date |
Author |
Title |
Files |
| 11 |
February 23, 1990 |
楠本真二 |
フィードバック機能に基づくソフトウェア開発支援に関する研究 |
 |
| 10 |
February 23, 1990 |
飯田元 |
開発支援系における作業系列や対象の実行時選択機能に関する研究 |
|
| 9 |
February 20, 1989 |
御井敬 |
自然語のプログラム仕様からＡＳＬ／Ｆプログラムへの変換に関する研究 |
|
| 8 |
February 20, 1989 |
稲田良造 |
ジャクソンシステム開発法の形式的記述に対する詳細化と実行に関する研究 |
|
| 7 |
February 22, 1988 |
馮安 |
Translating Specifications in Common Attribute Grammars to Prolog Programs |
|
| 6 |
February 22, 1988 |
野村研仁 |
ジャクソンシステム開発法（ＪＳＤ）の定義付けに関する研究 |
|
| 5 |
February 22, 1988 |
大西諭 |
囲碁プログラムにおける局面評価および手の探索に関する研究 |
|
| 4 |
February 20, 1987 |
鷲坂光一 |
代数的記述に基づく抽象的順序機械の処理系の設計 |
|
| 3 |
February 20, 1987 |
松本健一 |
プログラム作成能力の定量的評価に関する研究 |
|
| 2 |
February 20, 1987 |
石木信之 |
プログラム仕様に用いる自然語の処理システムにおける知識管理部の作成 |
|
| 1 |
February 25, 1986 |
前野芳史 |
属性文法記述からPrologプログラムの生成に関する研究 |
|
Master Theses
Back to the publications page.
Home
higo-www[at]cs.ist.osaka-u.ac.jp
Bibliography
