開発管理、検査・検証

一般講演〔2Q会場〕（3月12日（火）15：15〜17：15）
開発管理、検査・検証　　　　　　　　
座長　青山幹雄（南山大）

1　構成管理データに基づくソフトウェア開発プロセス分析支援方法の一考察
　○大木雅彦、杉山昭洋（トプコン）、會澤　実（東芝）、吉崎浩二（上武大）

2　ソフトウエア故障記述文の形式化による意味解析法
　 ○矢田佳子、佐藤匡正（島根大）

3　スケールポイント法による組込みソフトウェアの開発工数見積り
　 吉澤圭介（島津製作所）

4　情報システム開発現場での要員育成に伴なう実践と品質確保
　 ○鵜澤　亨、小室彦三、只野完二、宮崎肇之、清水理恵子（日立）

5　関数の簡約化を用いたプログラム正当性の自動検証アルゴリズム
　 ○平田雅之、岡野浩三、谷口健一（阪大）

6　機能化によるプログラム記号実行法
　 ○森本紘史、佐藤匡正（島根大）