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

2003 年 11 月研究集会


本研究集会は知能ソフトウェア工学研究会(KBSE)との共催です
★ソフトウェアサイエンス研究会 (SIGSS)
専門委員長  井上 克郎(大阪大学)
副委員長    佐伯 元司(東京工業大学)
幹事        松下 誠(大阪大学)・白銀 純子(東京女子大学)

★知能ソフトウェア工学研究会(KBSE)
専門委員長 海尻賢二 副委員長 廣田豊彦
幹事 神戸雅一・掛本喜嗣 幹事補佐 海谷治彦・片峯恵一

日時 平成15年11月27日(木) 13:00〜17:20
                 28日(金) 09:30〜12:40
会場 九州大学 情報基盤センター3階 多目的講習室
住所 〒812-8581 福岡市東区箱崎6-10-1
交通手段
  福岡市営地下鉄2号線「箱崎九大前」駅下車すぐ.または,JR/西鉄博多駅な
  どからバス.その他,http://www.cc.kyushu-u.ac.jp/access/ もあわせて
  ご覧ください.

	
11 月 27 日 (木)

1. 13:00-13:30
ビジュアルプログラミングにおける時間制約の図的記述と一貫性検査について
○山県仁嗣,玉井清寛,山口真悟,田中稔 (山口大学)

2. 13:30-14:00
フレームワークの要求仕様に対する適合性の評価手法
○善明晃由,佐伯元司 (東京工業大学)

3. 14:00-14:30
3層アーキテクチャに着目した構造化分析設計とUMLの比較
○山本修一郎 (NTTデータ)

(休憩 14:30-14:40)

4. 14:40-15:10
Webサービスにおける安全性とセキュリティの解析
○中島震 (科学技術振興機構さきがけ/法政大学)

5. 15:10-15:40
システム開発で対象とする安全性
○小林洋 (東海大学)

6. 15:40-16:10
XBRLで記述された財務データを扱う言語処理系の提案
○高尾祐治,松下誠,井上克郎 (大阪大学),湯浦克彦 (日立製作所)

(休憩 16:10-16:20)

7. 16:20-16:50
柔軟なコンポーネント間接続方式の提案と実装
○星大樹,鷲崎弘宜,深澤良彰 (早稲田大学)

8. 16:50-17:20
Java ソフトウェア部品解析・検索システム SPARS-J の構築
○西秀雄,横森励士 (大阪大学),山本哲男 (科学技術振興機構),
  松下誠,楠本真二,井上克郎 (大阪大学)


11 月 28 日 (金)

9. 09:30-10:00
リーン・メソッドに着目した業務分析プロセス・モデリングの検討
○小松由香里,橋本正明,廣田豊彦,片峯恵一 (九州工業大学)

10. 10:00-10:30
成果物中心のプロセスとコミュニケーション支援パスを結合した
   ソフトウェアプロセスモデル
○周翼,落水浩一郎 (北陸先端科学技術大学院大学)

11. 10:30-11:00
連携プロセス記述を必要としないWebサービスの実行時連携方式の提案
○坂田祐司,横山 和俊,松田栄之 (NTTデータ)

(休憩 11:00-11:10)

12. 11:10-11:40
協調フィルタリングに基づくソフトウェア信頼性予測方法
○角田雅照,大杉直樹,門田暁人,松本健一 (奈良先端科学技術大学院大学)

13. 11:40-12:10
ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
○王静,新田直也,関浩之 (奈良先端科学技術大学院大学)

14. 12:10-12:40
離散確率分布を持つリアルタイムシステムの確率時間時相論理式の演繹的検証手法
○山根智 (金沢大学)


☆ 発表時間は1件30分 (15〜20分発表,10〜15分質疑応答)

☆ SIGSS 研究会今後の予定  [ ] 内発表申込締切日

    2004年1月22〜23日 北海道情報大 [2003年11月15日]

☆ KBSE 研究会今後の予定  〔  〕内発表申込締切日
 
    1月26日(月)-1月27日(火)〔11月17日(月)〕
  原稿締切:2003年12月25日(木)
  会場:慶應義塾大学・理工学部(矢上キャンパス,東急東横線日吉駅徒歩12分)
     創想館地下3階マルチメディアルーム
  特集テーマ:「ディジタルエンタープライズ,および一般」
  人工知能学会 知識ベース研究会(KBS研)との共催

【発表申込・問合先】

SIGSS:
   松下誠(大阪大学)
   TEL: (06)6850-6572
   FAX: (06)6850-6574
   E-mail: matusita@ist.osaka-u.ac.jp
   WWW: http://sel.ist.osaka-u.ac.jp/sigss/

KBSE:
   1月26日(月)-1月27日(火)に開催される研究会につきましては
   発表申込/照会先:KBS_KBSE_200401@soft.ae.keio.ac.jp
     ・e-mailでお願いいたします.
     ・担当:人工知能学会・知識ベース研究会(和泉 憲明(産総研)),
         電子情報通信学会・知能ソフトウェア工学研究会(飯島 正(慶大))
   までお申し込み,ご照会願います.

   その他のお問い合わせは
   KBSE研究会 照会先
      日本電信電話株式会社 NTT情報流通プラットフォーム研究所
   神戸 雅一
      e-mail: kanbe.masakazu@lab.ntt.co.jp
      FAX: 0422-59-3181
   までお願いいたします.