プログラム

10月19日（木）

[9:00〜]○受付開始

[10:30〜12:00]●ESSセッション1:ミドルウェアと再利用（会議室1）

• [研究論文フルペーパー]
  組込み端末向けセキュリティ強化型X Serverの実現
  朝倉義晴，本田篤史，稗田諭士，千嶋博（日本電気）
• [システム開発論文フルペーパー]
  様々な通信プロトコルに動的対応可能なRFIDリーダライタの試作
  小林真輔（東京大学，YRPユビキタスネットワーキング研究所），諸隈立志（YRPユビキタスネットワーキング研究所），坂村健（東京大学，YRPユビキタスネットワーキング研究所）
• [研究論文ショートペーパー]
  プロダクトライン開発に向けたコア資産の構築に関する提案
  渡辺晴美（東海大学），福井信二（オムロン）

[10:30〜12:00]●SESセッション1:セキュリティ（会議室2）

• Webサービス合成におけるセキュリティポリシー整合性の検証
  小野康一，中村祐一，佐藤史子，立石孝彰（日本IBM）
• モデル駆動型開発に基づくWebサービスの認証設定
  佐藤史子，中村祐一，小野康一（日本IBM）
• 既存コードの安全性の変化を意識したリファクタリング
  丸山勝久，戸子田健祐（立命館大）
• セキュリティ要件の導出に関する形式的検証
  小黒博昭（NTTデータ／東工大），与那原亨（NTTデータ）

[10:30〜12:00]●ESSチュートリアル1（みらいCANホール）

• ハードウェア上位設計の形式的検証技術−現場の現状，新規ツール，研究動向−
  藤田昌宏（東京大学）

[13:40〜14:00]○オープニング（みらいCANホール）

[14:00〜15:00]○基調講演1（みらいCANホール）

• LSIのC言語設計とハードウェア・ソフトウェア協調設計
  若林一敏（日本電気）

[15:30〜17:00]●SESセッション2:プロジェクト管理（会議室1）

• 進行中のプロジェクト計測とフィードバック実験に基づく計測データベース活用方式の提案
  神谷芳樹（奈良先端大/SEC），菊地奈穂美（SEC），松村知子，大杉直樹，門田暁人（奈良先端大），肥後芳樹，井上克郎（阪大），松本健一（奈良先端大）
• ソフトウェアプロジェクトの遂行に影響を与える要因の分析
  古山恒夫（東海大），菊地奈穂美，安田守，鶴保征城（SEC）
• 定量的測定データの体系化に基づいた開発プロセステーラリング方式の提案
  伏田享平，亀井靖高，川口真司，飯田元（奈良先端大）

[15:30〜17:00]●ESSセッション2：リアルタイム（会議室2）

• [研究論文フルペーパー]
  RTOSシミュレーションのための高性能で移植性の高いスケジューラ
  中村宏明，佐藤直人，田渕直（日本IBM）
• [研究論文フルペーパー]
  FlexRayのダイナミックセグメントにおけるメッセージの最大遅れ時間解析
  村上靖明，村上尚彦，高田広章（名古屋大学）

[15:30〜15:55]●SES招待講演（みらいCANホール）

• スーパーアーキテクト養成のための「サイエンスによる知的ものづくり教育」：トップエスイー
  本位田真一（国立情報学研究所／東京大学）

[15:55〜17:00]●SESパネル1（みらいCANホール）

• 安心・安全なシステムを構築する人材を育成するには
  司会：本位田真一（国立情報学研究所／東京大学）
  パネリスト：大原茂之（情報処理推進機構SEC／東海大学），栗田太郎（フェリカネットワークス），鵜林尚靖（九州工業大学）

10月20日（金）

[8:30〜]○受付開始

[9:00〜10:40]●SESセッション3：開発支援ツール（会議室1）

• 情報セキュリティ工学データベースシステムISEDSの開発と応用
  堀江大輔（埼玉大），森本祥一（産業技術大），後藤祐一，程京徳（埼玉大）
• 要求仕様の変更・管理支援ツール
  清水龍平，大西淳（立命館大）
• ソフトウェア開発における知識還元のためのプロジェクト再現ツール
  大蔵君治，後藤慶多，川口真司（奈良先端大），花川典子（阪南大），飯田元（奈良先端大）
• GUIソフトウェアに対するアクセシビリティチェック
  森崇，岩田一（早稲田大），白銀純子（東京女子大），深澤良彰（早稲田大）

[9:00〜10:30]●ESSセッション3：形式的手法／検証（会議室2）

• [研究論文フルペーパー]
  組込みソフトウェアのためのUML設計検証支援環境
  岸知二（北陸先端科学技術大学院大学），野田夏子（日本電気）
• [システム開発論文ショートペーパー]
  携帯電話組み込み用“モバイルFeliCa IC チップ”開発におけるモデル検証手法の導入と課題
  中津川泰正，栗田太郎，米田篤生，谷川正和，守屋繁（フェリカネットワークス）
• [研究論文ショートペーパー]
  コンポーネントに基づく組み込みソフトウェア設計のモジュール的検証
  Nguyen Truong Thang，片山卓也（北陸先端科学技術大学院大学）

[9:00〜10:30]●SESチュートリアル1（みらいCANホール）

• Model-Driven Development: Concepts, Trends, and Standardization
  Stephen Mellor (Mentor Graphics)

[11:00〜12:30]●ESSセッション4：ハードウェア（会議室1）

• [研究論文フルペーパー]
  MPEG-4形状符号化/復号化に対応したDSP組み込み向け専用演算器の設計
  古宇田朋史，小原俊逸，史又華，戸川望，柳澤政生，大附辰夫（早稲田大学）
• [研究論文ショートペーパー]
  チップマルチプロセッサを用いた動的コア制御の実装
  山本整（三菱電機），高田浩和（ルネサステクノロジ），落合真一（三菱電機）
• [研究論文ショートペーパー]
  リファクタリングに基づく段階的詳細化設計のGSMボコーダへの適用
  木村正裕，小林憲貴，山崎亮介，吉田紀彦（埼玉大学）

[11:00〜12:30]●SESセッション4:プロダクトライン開発（会議室2）

• コンテキストベース・プロダクトライン開発とVDM++の適用
  鵜林尚靖，金川太俊，瀬戸敏喜（九工大），中島震（国立情報研），平山雅之（SEC）
• プロダクトラインの開発と進化：パターン活用手法の提案
  位野木万里（東芝ソリューション／早稲田大），深澤良彰（早稲田大）
• 多元的アスペクト指向プロダクトライン開発方法論と車載組込みシステムへの適用・評価
  吉野篤子，青山幹雄（南山大）

[11:00〜12:30]●ESSチュートリアル2（みらいCANホール）

• 組込みソフトウェア工学
  岸知二（北陸先端科学技術大学院大学）

[11:00〜12:30]●SESチュートリアル2（イノベーションホール）

• 32 Years of VDM: From Earliest Days via Adolescence to Maturity
  Dines Bjorner (北陸先端科学技術大学院大学)

[14:00〜15:00]○基調講演2（みらいCANホール）

• Variability Modeling and Management in Software Product Line Engineering
  Klaus Pohl (Lero, University of Limerick/University Duisburg-Essen)

[15:30〜17:00]●SESセッション5:プログラムコード管理（会議室1）

• リポジトリにおける変更履歴に着目した依存関係分析
  岩田英丈，阿萬裕久，山田宏之（愛媛大）
• 表現形式の維持を考慮したプログラムパターン変換の提案
  吉田敦（和歌山大）
• プログラムソースコードのための品質測定と評価の枠組み
  鷲崎弘宜（国立情報研），波木理恵子，福岡呂之，渡辺博之（オージス総研）

[15:30〜17:00]●SESセッション6:要求獲得（会議室2）

• 要求獲得におけるドメイン知識表現の役割
  長田晃，小澤大伍，海谷治彦，海尻賢二（信州大）
• 実証的アプローチによる要件定義を用いたレポート不正コピー検出ツールの開発
  花川典子（阪南大）
• 業務知識再利用のための汎化手法考察
  水戸一幸（日本ユニシス）

[15:30〜17:00]●ESSパネル（みらいCANホール）

• 形式手法最前線−拠点の活動とねらい
  パネリスト：荒木啓二郎（九州大学），片山卓也（北陸先端科学技術大学院大学），木下佳樹（産業技術総合研究所），中島震（国立情報学研究所）
  コーディネータ：青木利晃（北陸先端科学技術大学院大学）

[17:15〜19:15]○情報交換会（レストラン）

• MDDロボットチャレンジ表彰式，ほか

10月21日（土）

[8:30〜]○受付開始

[ 9:00〜10:30]●SESセッション7:アーキテクチャ／フレームワーク（会議室1）

• SIPアプリケーションフレームワークの開発と適用
  小高敏裕，松塚貴英，野村佳秀，村上雅彦，山本里枝子（富士通研）
• 非同期型メッセージのパターン化に基づくWebサービスアーキテクチャの提案と評価
  森晃，青山幹雄（南山大）
• ポリシー制御に基づくWebサービスの対話型トランザクションアーキテクチャの提案と評価
  大谷洋子，青山幹雄（南山大）

[ 9:00〜10:30]●ESSセッション5:モデリング（会議室2）

• [システム開発論文ショートペーパー]
  エージェント指向の組込みソフトウェアモデルの提案
  近藤理良，坂本道人，高島慎平，治達人，中本啓之，長瀬雅之（セック）
• [実践経験報告]
  実行可能仕様言語に基づくモデルベーステストの提案と組込みシステム開発への適用
  下麥博雅（北陸先端科学技術大学院大学），飯田周作（専修大学）
• [実践経験報告]
  ETロボコン走行体の走行特性の検証と走行戦略
  近藤信行，安藤逸人，齋藤彰宏，末広尚義，中島隆仁，吉田圭史郎，清水尚彦（東海大学）
• [実践経験報告]
  経験者の思考過程を用いたクラス抽出実験に関する報告
  大山勝徳，八木沼修，武内惇，藤本洋（日本大学）

[ 9:00〜12:30]●SESチュートリアル3（みらいCANホール）

• Software Product Line Variability Management
  Klaus Pohl (Lero, University of Limerick/University Duisburg-Essen)

[11:00〜12:30]●SESセッション8:モデル化（会議室1）

• シナリオの図解化によるシステム振る舞い分析
  森本祥一，中鉢欣秀（産業技術大）
• 組込みソフトウェアにおける構成制御とその記述法の提案
  張漢明，野呂昌満，蜂巣吉成（南山大）
• UML設計に対するモデル検査のための検証パターンの提案と評価
  金井勇人，岸知二（北陸先端大）

[11:00〜12:30]●ESSセッション6：教育（会議室2）

• [実践経験報告]
  NEXCESSにおける指導者養成の取り組み
  山本雅基，本田晋也，高田広章，金子伸幸，阿草清滋，間瀬健二，河口信夫（名古屋大学）
• [実践経験報告]
  QUBE「システムLSI設計実習」実施報告
  久住憲嗣，林田隆則，築添明，安浦寛人，中西恒夫，福田晃（九州大学）
• [実践経験報告]
  スキル＆コミュニケーションの向上を目的とした学生主催の教育プロジェクトの運営と実施
  菅谷みどり（早稲田大学），今井陽平（名古屋大学），殷中翔（九州大学），大山将城（東海大学），谷口一徹（大阪大学），谷崎裕明，Chaiwat Sathawornwichit（北陸先端科学技術大学院大学），野田厚志（九州大学），松原豊（名古屋大学），茂田井寛隆（早稲田大学）

[13:40〜15:10]●ESSセッション7:RFIDと新しい応用（会議室1）

• [研究論文フルペーパー]
  ライフスタイルにあわせた行動パターンの個別化
  山原裕之，高田秀志，島川博光（立命館大学）
• [研究論文ショートペーパー]
  Pen-less Recorderによる情報収集に基づく興味ベクトルの把握
  江坂直紀，高田秀志，島川博光（立命館大学）
• [研究論文ショートペーパー]
  RFIDと携帯端末間通信による電力供給不要の避難誘導支援
  石井悠，高田秀志，島川博光（立命館大学）

[13:40〜15:10]●SESセッション9:Webアプリケーション（会議室2）

• WebアプリケーションのWebサービス変換
  高橋健一，紫合治（東京電機大）
• ページフローに着目したDHTMLの自動検証
  立石孝彰，宮下尚，小野康一，斉藤新（日本IBM）
• DOM操作による状態遷移に基づくAjaxアプリケーションの解析手法
  福安直樹，満田成紀，鯵坂恒夫（和歌山大）

[13:40〜15:10]●SESパネル2（みらいCANホール）

• JaSSTメンバが考えるソフトウェアテストのこれからについて（仮）
  パネリスト：西康晴（電通大），大西建児（豆蔵），片山徹郎（宮崎大），他

[13:40〜15:10]●ESSワークショップ（イノベーションホール）

• MDDロボットチャレンジモデル講評 〜審査員他によるワークショップ〜
  鷲崎弘宜（国立情報学研），井山孝次（オージス総研），久保秋真（サイバービーンズ），小林靖英（アフレル），立堀道昭（日本IBM），二上貴夫（東陽テクニカ），飯田周作（専修大）

[15:40〜16:40]○基調講演3（みらいCANホール）

• The Role of Domain Engineering in Software Development
  Dines Bjorner（北陸先端科学技術大学院大学）

[16:40〜17:00]○クロージング（みらいCANホール）

10月19日（木）〜21日（土）

[開催中随時]●ポスター展示（会議室3，交流サロン）

●SESポスター展示一覧

• MDDロボットチャレンジ2005(チームFSEL):開発モデルとソフトウェア工学的観点からの考察
  丸山勝久（立命館大）
• 産学協同のPBLによるソフトウエア技術者とPMの育成
  松澤芳昭，大岩元（慶應大）
• Javaアプリケーションのボトルネック探索支援ツール（デモ有）
  風戸広史（NTTデータ）
• ソフトウェアパターン間関連の自動分析および提示ツール（デモ有）
  久保淳人（早稲田大）
• 複合Webサービスのモデル駆動開発方法と支援環境
  福永遂重，青山幹雄（南山大）
• モデルベースソフトウェア開発における総合的な検証手法の提案（デモ有）
  小西晃輔（シーディー・アダプコ・ジャパン）
• UMLモデリングツール パターンウィーバー ver2.2（デモ有）
  長瀬嘉秀，坂本武志（テクノロジックアート）

●ESSポスター展示一覧

• 航空機器開発で採用されるモデル検証、テスト自動化手法（デモ有）
  浅野義雄 （富士設備工業）
• スマートオブジェクトの研究
  岡田 寿一，松下 宗一郎（東洋大学）
• UWBとTritiumによる高速＆セキュアなAdhocネットワーク
  杉崎　義雄（東芝情報システム）
• 安価でコンパクトなHILS【M-RADSHIPS】（デモ有）
  三島　隆司（東芝情報システム）
• ソフトウェア安全性評価方法に関する研究（デモ有）
  吉岡律夫（日本機能安全／日本システム安全研究所），新宅浩雄（東芝システムテクノロジー）
• 中小規模組込み開発向け統合開発環境（デモ有）
  高田光隆，柳川勝幸，邑中雅樹(もなみソフトウェア)
• パワーエレクトロニクス製品における要求の抽出手法の開発
  高橋弘，佐藤芳信，鈴木哲雄，城戸武志（富士電機アドバンストテクノロジー）
• ユビキタス時代に適した軽量実装可能な暗号技術「Tritium(R)」のご紹介（デモ有）
  前田 直樹（東芝情報システム）
• コードの信頼性と作業効率をUPする「カプセルワークス」（デモ有）
  中村良道（ウインズ）
• 資源制御パターンに着目した問題指向モデルと実装指向モデルの擦り合せ
  中村和也，満田成紀，鰺坂恒夫（和歌山大学）
• 再構成支援環境を備えた組込みシステム向け分散オブジェクトシステムの開発（デモ有）
  谷田貝純，早川栄一（拓殖大学）
• システムソフトウェア教育支援環境「港」におけるシミュレータを用いた学習環境の開発（デモ有）
  川口貴弘，幸坂晋，田中裕樹，西野洋介，早川栄一（拓殖大学）
• OSEK/VDX COM仕様に準拠した通信ミドルウエアの高速化（デモ有）
  大西 秀一，片岡 歩，鵜飼 敬幸，杉本 明加，森川 聡久（ヴィッツ）

10月19日（木）

[ 9:30〜17:00]●MDDロボットチャレンジ飛行競技（イノベーションホール）