Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2005-63
多様な視点に基づく属性を用いた計算機中の対象同定法
○古宇田フミ子・近山 隆（東大）
pp. 1 - 6
SS2005-64
擬似的な適応メソッドの実現
○天野憲樹（北陸先端大）
pp. 7 - 12
SS2005-65
Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems
○Keiichirou Kusakari・Masahiko Sakai（Nagoya Univ.）
pp. 13 - 18
SS2005-66
FTAのプロダクトライン開発方法との連携
○野田厚志・中西恒夫・福田 晃（九大）
pp. 19 - 24
SS2005-67
分散JoinJAVAプログラムの通信エラーに対する型判定システム
○佐伯昌樹・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）
pp. 25 - 30
SS2005-68
保守の影響波及範囲に基づいたレガシーシステムの障害予測
○小林健一・吉野利明（富士通研）・井上克郎・早瀬康裕（阪大）・松尾昭彦・上村 学（富士通研）
pp. 31 - 36
SS2005-69
ソフトウェア部品の利用関係におけるスケールフリー性の調査
○市井 誠・松下 誠・井上克郎（阪大）
pp. 37 - 42
SS2005-70
形式仕様記述における階層アーキテクチャ
○張 暁晶・大森洋一・荒木啓二郎（九大）
pp. 43 - 48
SS2005-71
セキュリティ要求にもとづいた振る舞いのシナリオへの挿入支援
○糸賀裕弥・大西 淳（立命館大）
pp. 49 - 54
SS2005-72
ソフトウェア開発における定量的管理計画の立案支援
○引地一将・飯田 元・松本健一（奈良先端大）
pp. 55 - 60
SS2005-73
保守請負時を対象とした労力見積りのためのメトリクスの提案
○早瀬康裕・松下 誠・楠本真二・井上克郎（阪大）・小林健一・吉野利明（富士通研）
pp. 61 - 66
SS2005-74
工数見積もりモデルで予測できないソフトウェアプロジェクトの特徴分析
○戸田航史・角田雅照・門田暁人・松本健一（奈良先端大）
pp. 67 - 72
SS2005-75
SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案
○藤原貴之・岡野浩三・楠本真二（阪大）
pp. 73 - 78
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。