Published Papers

Number	Author	Title	Date	Type
115	馮安	非循環属性文法に対する属性付き構文木の更新アルゴリズムの高速化情報処理	January, 1991	Paper
114	西村好洋	あるプロダクト間関係の記述とプロセス記述言語ＰＤＬへの変換	February 8, 1991	Domestic Conference
113	高木千春	ソフトウェア開発における進捗管理のためのモデルについて	February 8, 1991	Domestic Conference
112	松本健一	ソフトウェア信頼度成長モデルの適用技術	December, 1990	解説
111	松本健一	プログラム開発におけるチ−ム性能のモデルに基づく実験的評価−プログラマ性能モデルの拡張− 情報処理	December, 1990	Paper
110	Feng An	Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments 情報処理	September 19-21, 1990	International Conference
109	Chen Chang	On Relation between Reliability and Topology of Starred Polygon with Redundant Nodes 情報処理	November, 1990	Paper
108	高田義広	ニュ−ラルネット予測型ＨＭＭにおける学習アルゴリズム	November 15, 1990	Domestic Conference
107	西村好洋	プロダクトの関係記述による開発支援環境の構築	November 13, 1990	Domestic Conference
106	松本健一	品質保証システムＳＱＵＡＲＥにおける開発計画作成手順	October 20-21, 1990	Domestic Conference
105	高木千春	プログラムテキストの変更情報に基づくプログラム開発プロセスのモデル化	October 20-21, 1990	Domestic Conference
104	陳昶	二重化スタ−ドポリゴンの形状と信頼性の関係	October 1-4, 1990	Domestic Conference
103	Chen Chang	Spare Processor Assignment for Reconfiguration of Fault-Tolerant Arrays	August, 1990	Paper
102	菊野亨	ソフトウェア信頼性の実現技術−現状と今後の展望−	May, 1990	解説
101	陳昶	高信頼多重化ネットワークの構成−二重化されたスタードポリゴンの信頼性評価−	June 9, 1990	Domestic Conference
100	井上克郎	代数的表現を用いたオブジェクト管理について	June 29, 1990	Domestic Conference
99	Kusumoto Shinji	GINGER:Data Collection and Analysis System	June 29, 1990	Domestic Conference
98	Matsumoto Ken-ichi	SQUARE:Software Quality Assurance Supporting System	June 29, 1990	Domestic Conference
97	飯田元	プロセスの性質記述に基づく実行モデルの提案	May 29, 1990	Domestic Conference
96	鳥居宏次	ソフトウェア工学国際会議と第１２回大会に出席して	May 29, 1990	Domestic Conference
95	陳昶	大規模ネットワーク形状の信頼性に基づく評価	April 20, 1990	Domestic Conference
94	松本健一	Ｓ字型ソフトウェア信頼度成長モデルの大学環境における実験的評価−推定精度の比較と習熟係数の決定−	February, 1990	Paper
93	Torii Koji	A New Framework for Software Quality Assurance	February 6-10, 1989	Domestic Conference
92	稲田良造	ソフトウェア開発過程の形式化とその詳細化による支援システムの作成−ＪＳＤを例として−	December, 1989	Paper
91	荻原剛志	オブジェクト指向によるソフトウェアプロセスの記述と実行について	December 8, 1989	Domestic Conference
90	馮安	属性つき構文木上での部分木の置換に対応する属性評価の高速化	November 13, 1989	Domestic Conference
89	荻原剛志	ソフトウェア開発を支援するツール起動自動制御システム	October, 1989	Paper
88	陳昶	アレイプロセッサの再構成に関するプロセッサ割当問題について	October 16-18, 1989	Domestic Conference
87	西村好洋	開発過程記述用図式エディタの作成	October 16-18, 1989	Domestic Conference
86	馮安	複数の部分木の置換を許した属性木に対する属性評価アルゴリズムの提案	October 16-18, 1989	Domestic Conference
85	木村泉	プログラミング方法論と言語機能	1986	Included in Book
84	松本健一	高品質ソフトウェア作成支援システムの開発	October 21-22, 1989	Domestic Conference
83	井上克郎	関数型プログラムにおける不要セル検出の最適化表現方法	September 20, 1989	Domestic Conference
82	松本健一	ＧＩＮＧＥＲシステム：ソフトウェア開発における計測環境	September 12-15, 1989	Domestic Conference
81	飯田元	関数型言語に基づくプロセスプログラミングシステム	September 12-15, 1989	Domestic Conference
80	高田義広	ソフトウェア品質定量化のための枠組みと品質表管理システムＳＱＵＡＲＥの開発	September 12-15, 1989	Domestic Conference
79	楠本真二	機能設計の誤りとモジュール変更回数についての実験的評価	September 12-15, 1989	Domestic Conference
78	Inoue Katsuro	A Formal Adaptation Method for Process Descriptions	May 15-18, 1989	International Conference
77	Ohmaki Kazuhito	TERM: A parallel executable graph reduction machine for equational language	January, 1989	Paper
76	河野俊二	テキスト処理問題のプログラム仕様からＣプログラムへの変換の試み	July 13, 1989	Domestic Conference
75	大野浩史	プログラム設計のための構造表現モデルの提案と複合設計への適用	May 30, 1989	Domestic Conference
74	馮安	ソフトウェア開発法の形式的記述のためのモデルの提案	March 28-31, 1989	Domestic Conference
73	御井敬	テキスト処理問題の形式的仕様からプログラムへの変換	March 28-31, 1989	Domestic Conference
72	楠本真二	チームによるプログラム開発におけるデバッグ能力の実験的評価	March 15-17, 1989	Domestic Conference
71	飯田元	ソフトウェアプロセス記述言語ＳＰＤＬとその処理系の設計	March 15-17, 1989	Domestic Conference
70	Kudo Hideo	Quantifying a Design Process Based on Experiments	1989	Paper
69	Seki Hiroyuki	A Processing System for Program Specifications in a Natural Language	January 5-8, 1988	International Conference
68	Kishida Kouichi	Quality-Assurance Technology in Japan	September, 1987	Paper
67	Torii Koji	Activities for reliable softwares in Japan	January 12-14, 1987	Domestic Conference
66	飯田元	ジャクソンシステム開発法の代数的言語による記述の試み	September 12-14, 1988	Domestic Conference
65	河野俊二	プログラム仕様に用いる自然語処理のための語句の意味定義	September 12-14, 1988	Domestic Conference
64	荻原剛志	ソフトウェア開発環境定義用スクリプトの生成法について	March 2-3, 1989	Domestic Conference
63	井上克郎	囲碁ルールの形式化とその実行プログラムへの変換	January, 1989	Paper
62	Inoue Katsuro	Analysis of Functional Programs to Detect Run-Time Garbage Cells	October, 1988	Paper
61	荻原剛志	ソフトウェア開発環境記述用関数型言語の設計と処理系の試作	December 9, 1988	Domestic Conference
60	河合秀夫	万歩計と方位磁石による人間用ナビゲーションシステム	November, 1988	Paper
59	稲田良造	ジャクソン開発法の形式的記述の詳細化とその実行	December 9, 1988	Domestic Conference
58	御井敬	プログラム仕様に用いる自然語の語句に対する意味定義について	November 25, 1988	Domestic Conference
57	松本健一	エラー寿命に基づくプログラマ性能の実験的評価−大学環境におけるプログラム開発−	October, 1988	Paper
56	鳥居宏次	ソフトウェア品質定量化のための枠組の検討報告	November 9, 1988	Domestic Conference
55	大野浩史	抽象化に基づく文章理解モデルのソフトウェア設計法への適用	September 28, 1988	Domestic Conference
54	大野浩史	自然語によるプログラム仕様に対する理解モデルの提案	September 21, 1988	Domestic Conference
53	松本健一	ソフトウェアの残存エラー数推定モデルの定量的比較	June 8-9, 1988	Domestic Conference
52	井上克郎	階層的プロセスモデルの提案とそのＪＳＤへの適用	June 8-9, 1988	Domestic Conference
51	鳥居宏次	ソフトウェア・メトリクスの意義と方法論	October 3-5, 1988	Domestic Conference
50	Kishida Kouichi	SDA:A Novel Approach To Software Environment Design and Construction	April 11-15, 1988	International Conference
49	Matsumoto Kenichi	Experimental Evaluation of Software Reliability Growth Models	June 27-30, 1988	International Conference
48	荻原剛志	オブジェクト間の相互作用に基づくソフトウェア開発法の提案	September 7-9, 1988	Domestic Conference
47	鳥居宏次	論理型プログラミングと属性文法	1988	Paper
46	松本健一	プログラムテキストの変更情報に基づくプログラマ仕事量の分析	September 6-9, 1988	Domestic Conference
45	Sugiyama Yuji	Functional Programming for the Telegram Analysis Problem	May, 1988	Paper
44	馮安	属性文法による構造化分析法の形式的記述	May 6, 1988	Domestic Conference
43	松本健一	プログラムにおけるバグ除去時間の分析	May 18, 1988	Domestic Conference
42	鳥居宏次	ソフトウェア信頼性技術の現状	February 23, 1987	Domestic Conference
41	御井敬	プログラム仕様に用いる自然語のための辞書の設計	March 28-31, 1988	Domestic Conference
40	Kudo Hideo	Quantifying a Design Process Based on Experiments	January 5-8, 1988	International Conference
39	工藤英男	実験に基づくプログラム設計過程の定量化の試み	February 4-5, 1988	Domestic Conference
38	野村研仁	システム開発法ＪＳＤの定義付けの試み	February 4-5, 1988	Domestic Conference
37	松本健一	ＮＨＰＰに基づくソフトウェア信頼度成長モデルの定量的比較	February 4-5, 1988	Domestic Conference
36	Feng An	Generating Practical PROLOG Programs from Attribute Grammars	October 7-9, 1987	International Conference
35	Matsumoto Kenichi	Error Life Span and Programmer Performance	October 7-9, 1987	International Conference
34	井上克郎	ガーベジセルの直接回収を行なうＬＩＳＰシステムの試作	November 25, 1987	Domestic Conference
33	井上克郎	囲碁ルールの代数的記述とその関数型プログラムへの変換	November 21, 1987	Domestic Conference
32	大西諭	候捕手記述言語’拡張Ｇｏｐａｌ’を用いた囲碁プログラムの試作	November 13, 1987	Domestic Conference
31	西良厚正	エキスパートシステム構築支援ツールＸＰＴ（３） −応用事例（??）−	September 28-30, 1987	Domestic Conference
30	大西諭	ある囲碁プログラムにおける候捕手選択について	September 28-30, 1987	Domestic Conference
29	野村研仁	実行時エラーメッセージに基づくデバッグ用エキスパートシステムについて	September 28-30, 1987	Domestic Conference
28	御井敬	プログラム仕様に用いる自然語の処理システム −システム構成とユーザインターフェイス−	September 28-30, 1987	Domestic Conference
27	荻原剛志	クラス階層への型導入に関する考察	September 28-30, 1987	Domestic Conference
26	稲田良造	代数的仕様記述法に基づく抽象的順序機械へのシステムコールなどの導入	September 28-30, 1987	Domestic Conference
25	荻原剛志	オブジェクト指向言語でのデータを共有する多重継承方式の提案	August, 1987	Short Paper/Letter
24	Torii Koji	Logical Programming for the Telegram Analysis Problem	1987	Paper
23	馮安	共通属性をもつ属性文法とそのＰＲＯＬＯＧによる実行系	July, 1987	Paper
22	鳥居宏次（司会）	明日のソフトウェア工学	July, 1987	討論会
21	野村研仁	実行時エラーの原因診断エキスパートシステムの試作	June 24, 1987	Domestic Conference
20	馮安	属性文法の実行系における最適化手法	March 26-29, 1987	Domestic Conference
19	工藤英男	プログラム設計過程の定量化に関する一考察（その３）	March 18-20, 1987	Domestic Conference
18	馮安	属性文法記述言語ＰＡＮＤＡの処理系における最適化	February 13, 1987	Domestic Conference
17	鷲坂光一	代数的記述に基づく抽象的順序機械の処理系の作成	February 13, 1987	Domestic Conference
16	石木信之	プログラム仕様に用いる自然語の処理システム −代数的仕様への変換と知識管理−	February 13, 1987	Domestic Conference


/ Research / Publications / Members / News / Access / Private /