Number |
Author |
Title |
Date |
Type |
Files |
16 |
石木信之 |
プログラム仕様に用いる自然語の処理システム −代数的仕様への変換と知識管理− |
Feb/13/1987 |
report |
 |
15 |
井上克郎 |
囲碁ルールの代数的記述について |
Feb/13/1987 |
report |
 |
14 |
工藤英男 |
プログラム設計過程の定量化に関する一考察(その2) −複合設計法の採用による効果− |
Oct/1-3/1986 |
inproceeding |
 |
13 |
鷲坂光一 |
代数的記述に基づく抽象的順序機械の処理系の設計 |
Oct/1-3/1986 |
inproceeding |
 |
12 |
大西諭 |
ソフトウェア開発におけるメトリックス環境 |
Oct/1-3/1986 |
inproceeding |
 |
11 |
馮安 |
属性文法の表記法について −共通属性の導入− |
Oct/1-3/1986 |
inproceeding |
 |
10 |
松本健一 |
プログラム作成能力の評価尺度とデータ収集ツール |
Sep/24/1986 |
report |
 |
9 |
杉山裕二 |
属性文法に基づく言語PANDAとDCGへの変換 |
Jul/3/1986 |
report |
 |
8 |
前野芳史 |
属性文法記述からDCGの生成 |
Mar/23-26/1986 |
inproceeding |
 |
7 |
松本健一 |
ソフトウェア信頼性モデルの比較とプログラム作成能力の評価基準について |
Mar/23-26/1986 |
inproceeding |
 |
6 |
工藤英男 |
プログラム設計過程の定量化に関する一考察 |
Mar/11-13/1986 |
inproceeding |
 |
5 |
安松一樹 |
抽象的順序機械から関数型プログラムへの変換システム |
Mar/11-13/1986 |
inproceeding |
 |
4 |
鳥居宏次 |
Logical Programming for the Telegram Analysis Problem |
Feb/6/1986 |
report |
 |
3 |
安松一樹 |
抽象的順序機械からASL/Fプログラムへの変換システムについて |
Feb/6/1986 |
report |
 |
2 |
関浩之 |
関数型言語ASL/FコンパイラのUNIX上での実現 |
Mar/1985 |
inproceeding |
 |
1 |
Torii Koji |
Functional Programming and Logical Programming for the Telegram Analysis Problem |
1984 |
inproceeding |
 |