Papers, Technical Reports (Torii & Inoue Laboratories)

Number	Author	Title	Date	Type
79	楠本真二	機能設計の誤りとモジュール変更回数についての実験的評価	Sep/12-15/1989	inproceeding
78	Inoue Katsuro	A Formal Adaptation Method for Process Descriptions	May/15-18/1989	inproceeding
77	Ohmaki Kazuhito	TERM: A parallel executable graph reduction machine for equational language	Jan/1989	article
76	河野俊二	テキスト処理問題のプログラム仕様からＣプログラムへの変換の試み	Jul/13/1989	report
75	大野浩史	プログラム設計のための構造表現モデルの提案と複合設計への適用	May/30/1989	report
74	馮安	ソフトウェア開発法の形式的記述のためのモデルの提案	Mar/28-31/1989	inproceeding
73	御井敬	テキスト処理問題の形式的仕様からプログラムへの変換	Mar/28-31/1989	inproceeding
72	楠本真二	チームによるプログラム開発におけるデバッグ能力の実験的評価	Mar/15-17/1989	inproceeding
71	飯田元	ソフトウェアプロセス記述言語ＳＰＤＬとその処理系の設計	Mar/15-17/1989	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	Jan/5-8/1988	inproceeding
68	Kishida Kouichi	Quality-Assurance Technology in Japan	Sep/1987	article
67	Torii Koji	Activities for reliable softwares in Japan	Jan/12-14/1987	inproceeding
66	飯田元	ジャクソンシステム開発法の代数的言語による記述の試み	Sep/12-14/1988	inproceeding
65	河野俊二	プログラム仕様に用いる自然語処理のための語句の意味定義	Sep/12-14/1988	inproceeding
64	荻原剛志	ソフトウェア開発環境定義用スクリプトの生成法について	Mar/2-3/1989	inproceeding
63	井上克郎	囲碁ルールの形式化とその実行プログラムへの変換	Jan/1989	article
62	Inoue Katsuro	Analysis of Functional Programs to Detect Run-Time Garbage Cells	Oct/1988	article
61	荻原剛志	ソフトウェア開発環境記述用関数型言語の設計と処理系の試作	Dec/9/1988	report
60	河合秀夫	万歩計と方位磁石による人間用ナビゲーションシステム	Nov/1988	article