情報・システム-ソフトウェアサイエンス(開催日:1993/09/21)

タイトル/著者/発表日/資料番号
目次

,  

[発表日]1993/9/21
[資料番号]
CASE統合化技術を用いたソフトウェア開発・管理方法

藤井 諭,  中村 智法,  旭岡 裕子,  大西 伸幸,  

[発表日]1993/9/21
[資料番号]SS93-20
CASE統合化技術を用いたソフトウェア開発・管理方法

新谷 勝利,  岡田 光隆,  松原 雅美,  岡本 順子,  

[発表日]1993/9/21
[資料番号]SS93-21
OMT法における画像ファイリングシステムの分析 : 拡張容易性と分析指針

中里 竜,  吉田 和樹,  入内島 裕子,  山城 明宏,  

[発表日]1993/9/21
[資料番号]SS93-22
多重ループに対するプロセッサ割当てアルゴリズムOPTALの高速化

李 暁傑,  原田 賢一,  

[発表日]1993/9/21
[資料番号]SS93-23
再帰を含むプログラムの依存関係解析とそれに基づくプログラムスライシング

植田 良一,  練 林,  井上 克郎,  鳥居 宏次,  

[発表日]1993/9/21
[資料番号]SS93-24
経路依存フローグラフを用いたプログラム・スライシング

直井 邦彰,  高橋 直久,  

[発表日]1993/9/21
[資料番号]SS93-25
プロトタイピングのためのモデル記述言語と支援環境

清水 俊吾,  上田 賀一,  

[発表日]1993/9/21
[資料番号]SS93-26
オブジェクト指向に基づく要求記述からの形式的仕様の導出手法

滝沢 陽三,  上田 賀一,  

[発表日]1993/9/21
[資料番号]SS93-27
述語論理型仕様を用いた部品検索とその評価

栗野 俊一,  松澤 裕史,  深澤 良彰,  

[発表日]1993/9/21
[資料番号]SS93-28
プログラマのテスト・デバッグ能力の自動計測環境

藤田 房之,  高田 義広,  松本 健一,  鳥居 宏次,  

[発表日]1993/9/21
[資料番号]SS93-29
個人の言語によるプログラム作成システム

小林 要,  木村 高久,  

[発表日]1993/9/21
[資料番号]SS93-30
[OTHERS]

,  

[発表日]1993/9/21
[資料番号]