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

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

,  

[発表日]2004/11/18
[資料番号]
目次

,  

[発表日]2004/11/18
[資料番号]
オートマトンモデルに基づいたディジタルロジックの仕様化と検証

山中 一宏,  和泉 諭,  加藤 靖,  高橋 薫,  

[発表日]2004/11/18
[資料番号]SS2004-26
UMLの複数のダイアグラムを用いたJavaプログラムのテスト手法に関する一考察

藪谷 悠介,  下村 希世人,  片山 徹郎,  

[発表日]2004/11/18
[資料番号]SS2004-27
事前・事後条件を用いたルールによるシナリオ検証

戸山 竜也,  大西 淳,  

[発表日]2004/11/18
[資料番号]SS2004-28
正常シナリオからの代替・例外シナリオ作成支援

北本 幸司,  糸賀 裕弥,  大西 淳,  

[発表日]2004/11/18
[資料番号]SS2004-29
Web上の表形式類似データの統合技法

吉村 千秋,  渡辺 喜道,  

[発表日]2004/11/18
[資料番号]SS2004-30
タクソノミの改訂に対応したXBRL文書の再構築手法

八畑 陽平,  渡辺 喜道,  

[発表日]2004/11/18
[資料番号]SS2004-31
変数更新の回数と分散に基づくプログラムのメンタルシミュレーションコスト評価

石黒 誉久,  井垣 宏,  中村 匡秀,  門田 暁人,  松本 健一,  

[発表日]2004/11/18
[資料番号]SS2004-32
融合変換を模倣するプログラム生成変換の戦略

長島 正憲,  酒井 正彦,  西田 直樹,  坂部 俊樹,  草刈 圭一朗,  

[発表日]2004/11/18
[資料番号]SS2004-33
複写される方へ

,  

[発表日]2004/11/18
[資料番号]
奥付

,  

[発表日]2004/11/18
[資料番号]