研究会 - ソフトウェアサイエンス研究会 (SS)

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催スケジュール

技報閲覧サービス
[ログイン]
技報アーカイブ

[Japanese] / [English]

（

研究会名/開催地/テーマ

）→

（

講演検索

検索語: / 範囲:題目著者所属抄録キーワード

）→

ソフトウェアサイエンス研究会 (SS) (検索条件: 2005年度)

「from:2005-10-13 to:2005-10-13」による検索結果

[ソフトウェアサイエンス研究会ホームページへ]

講演検索結果

登録講演（開催プログラムが公開されているもの） （日付・昇順）

研究会	発表日時	開催地		タイトル・著者	抄録	資料番号
SS	2005-10-13 13:00	埼玉	十文字学園 6号館	Javaプログラムを対象としたオブジェクト間の呼び出し関係情報を含んだコントロールフローグラフの生成について ○川添貴議・片山徹郎（宮崎大）	Javaではオブジェクトとして、他のクラスなどのメソッドや変数が呼び出される場合があり、オブジェクトが呼び出されると、そ... [more]	SS2005-40 pp.1-6
SS	2005-10-13 13:30	埼玉	十文字学園 6号館	拡張オーバレイモデルへの難易度の導入とその効果 ○桜井将人・砂長　裕・山本洋介・上之薗和宏・橋浦弘明・古宮誠一（芝浦工大）	現在までに実用化されている商用でのＣＡＩシステムの殆どは，誰に対しても同じ教材画面を提示する教授ロジックなので学習効率の... [more]	SS2005-41 pp.7-12
SS	2005-10-13 14:00	埼玉	十文字学園 6号館	データ依存解析に基づくレガシーソフトウェアからのサービス抽出法 ○木村隆洋・中村匡秀・井垣　宏・松本健一（奈良先端大）	レガシーソフトウェアにサービス指向アーキテクチャ（SOA）を適用するための一手段として，本論文では，手続き型言語で書かれ... [more]	SS2005-42 pp.13-18
SS	2005-10-13 14:30	埼玉	十文字学園 6号館	ソフトウェア開発に関する実践的な仮説 ○服部　昇・副島千鶴・山本修一郎（NTTデータ）	本稿では，プロジェクト実績データに基づく実践的なソフトウェア開発に関する仮説と，その検証モデル，方法の概要を述べる．更に... [more]	SS2005-43 pp.19-26
SS	2005-10-13 15:15	埼玉	十文字学園 6号館	テスト駆動開発に基づくプログラミング学習支援システム～初心者開発者のためのセルフトレーニングアーキテクチャ～ ○吉田英輔（広島大）・角川裕次（阪大）	従来のプログラミング演習の問題点として，指導者への評価負担が大きいこと，学習者のスキルに関係なく同一の課題が与えられるこ... [more]	SS2005-44 pp.27-32
SS	2005-10-13 15:45	埼玉	十文字学園 6号館	産能大式事務分析図とアクティビティ図における業務分析の有効性比較 ○立松卓磨（芝浦工大）・小島　章（NECソフト）・木口貴人（芝浦工大）・高橋　弘（富士電機アドバンストテクノロジー）・古宮誠一（芝浦工大）	[more]	SS2005-45 pp.33-38
SS	2005-10-13 16:15	埼玉	十文字学園 6号館	重なりを持つTRSにおける最外戦略の完全性について ○岩田篤史・酒井正彦・西田直樹・草刈圭一朗・坂部俊樹（名大）	項書換え系（TRS）において，戦略は与えられた項の書換え可能な位置のうち書換えるべき位置を指示する．重なりを持つTRSで... [more]	SS2005-46 pp.39-44
SS	2005-10-13 16:45	埼玉	十文字学園 6号館	類似プロジェクトを用いた工数予測方法の性能比較 ○角田雅照・柿元　健・大杉直樹・門田暁人・松本健一（奈良先端大）	[more]	SS2005-47 pp.45-50
SS	2005-10-14 09:00	埼玉	十文字学園 6号館	UMLモデルに対するXPathとXMI-differenceを用いた不整合検出と解消 ○佐々木　亨・岡野浩三・楠本真二（阪大）	本稿では，UMLモデルの要素間の不整合を検出しそれらを解消するツールを提案する．具体的には，クラス図とシーケンス図の要素... [more]	SS2005-48 pp.1-6
SS	2005-10-14 09:30	埼玉	十文字学園 6号館	Daikonの限定利用によるJavaメソッドの事後条件の自動導出 ○梶田泰伸・岡野浩三・楠本真二（阪大）	近年Javaに対するDesign by Contract(DbC)の導入に関心が集まっている．事前・事後条件，不変表明を... [more]	SS2005-49 pp.7-12
SS	2005-10-14 10:00	埼玉	十文字学園 6号館	ユーザプレゼンスを利用した信用管理方式 ○野田　潤（NEC）・毛利寿志・高田喜朗・関　浩之（奈良先端大）・田口大悟・高橋三恵・細見　格（NEC）	ユビキタス環境において、PKI証明書やユーザプレゼンス情報に基づき、種々のサービス提供のための信用(trust)をユーザ... [more]	SS2005-50 pp.13-18
SS	2005-10-14 10:30	埼玉	十文字学園 6号館	Parametric Verification towards Design of Real-Time Systems ○Chaiwat Sathawornwichit・Takuya Katayama（JAIST）	[more]	SS2005-51 pp.19-24
SS	2005-10-14 11:15	埼玉	十文字学園 6号館	フィーチャー指向分析を基にしたApacheの構成・設定の動的変更 ○谷崎裕明・片山卓也（北陸先端大）	本論文では，フィーチャー指向による分析を用いたモデルを基にしたソフトウェアの動的変更手法を提案する．提案手法では，フィー... [more]	SS2005-52 pp.25-30
SS	2005-10-14 11:45	埼玉	十文字学園 6号館	特徴イベント列によるステートチャート間の通信モデル ○林　信宏・片山卓也（北陸先端大）	[more]	SS2005-53 pp.31-36
SS	2005-10-14 12:15	埼玉	十文字学園 6号館	PSF手法に基づくプログラム作成過程における変遷の可視化 ○水穂良平・土田康太・浜名隆広・佐藤匡正（島根大）	プログラム演習やシステム開発におけるプログラムは，修正を加えずに完成することは少ない．また，完成までのソース・コードには... [more]	SS2005-54 pp.37-42

[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]

IEICE / 電子情報通信学会