大場 克彦

データ依存関係の表現を明確にするプログラミング法 

情報処理学会,第39回プログラミング・シンポジウム報告集 1998年  

データ依存関係を階層化するプログラミング 

情報処理学会,夏のプログラミング・シンポジウム報告集1997年7月16日〜18日 1998年  

手続きの完全な入出力について 

情報処理学会研究報告 97(32) 1-7 1997年  

On the complete input and output of a procedure 

IPSJ SIG Notes 97(32) 1-7 1997年  

可読性の高いアルゴリズムの記述法 

情報処理学会研究報告 95(92) 21-26 1995年  

プログラムの設計知識の再利用に関する考察と実験 

情報処理学会研究報告 92(59) 1992年  

Consideration and experiments on the reuse of knowledge of program design 

IPSJ SIG Reports 92(59) 1992年  

形式的仕様の木構造表現 

情報処理学会第42回(平成3年前期)全国大会講演論文集 42(5) 189-190 1991年  

知識ベースを利用したソースプログラム生成システム 

人工知能学会全国大会(第5回)論文集 5(1) 671-674 1991年  

自動プログラミングシステムにおけるソフトウェア開発支援環境 

島津評論 48(2) 1991年  

プログラムの設計レビューシステム 

情報処理学会研究報告 91(85) 1991年  

プログラム論理図の形式的表現 

情報処理学会研究報告 91(66) 1991年  

Formal Specifications Expressed by Tree Structured Dyagrams 

Proc. 42th Annual Convention IPS Japan 42(5) 189-190 1991年  

Program generator used knowledge bases 

Proc. 5th Annual Conference JSAI 5(1) 671-674 1991年  

A Software Development Environments on An Automatic Programing System 

Shimadzu Review 48(2) 1991年  

Design Review System of Programs 

IPSJ SIG Reports 91(85) 1991年  

Formal Expression of Program Logic Diagrams 

IPSJ SIG Reports 91(66) 1991年  

抽象データ型に基づくプログラム設計[2] 

情報処理学会第41回(平成2年後期)全国大会講演論文集 41(5) 187-188 1990年  

抽象データ型に基づくプログラム設計[1] 

情報処理学会第41回(平成2年後期)全国大会講演論文集 41(5) 185-186 1990年