ソフトウェア・シンポジウム'98プログラム

*****  6月17日 (水)  *****

 09:00−10:00 <受付>

 10:00−12:00 基礎講座

                F1: 並列処理           講師:  福田 晃 (NAIST)       <小会議室10B>
                F2: オブジェクト指向   講師:  成田 雅彦 (富士通)    <1F 文化交流室>
                F3: プロセス           講師:  落水 浩一郎 (JAIST)   <大会議室S10A>
                F4: CSCW               講師:  中小路 久美代 (NAIST) <大会議室S10B>

 12:00−13:00 <昼食休憩>

 13:00−13:10 オープニング <大会議室S10L>

 13:10−15:00 基調講演-1: <大会議室S10L>

                COMMERCIALIZATION should surround the Software Process
                                     Les Belady (Independent Consultant, USA)

 15:00−15:40 <休憩>

 15:40−17:10 テクニカルセッション TS1: プロセス  (座長: 端山 毅) <大会議室S10A>

        大規模バージョンアップ製品へのクリーンルーム手法の再適用
                           岡崎靖子,森茂子 (日本 IBM)

        ソフトウェアプロジェクトシミュレータのためのパラメータ値の設定
                           水野修,亀山忠秀,楠本真二,菊野亨 (大阪大学)

        プロセス改善技術移転に向けたプロセス改善活動の分析
                           高木徳生,新原直樹,坂本啓司 (オムロン),
                           中小路久美代 (NAIST)


              テクニカルセッション TS2: 認知的側面  (座長: 熊谷章) <大会議室S10B>

        要求獲得の過程に於ける電子メールを用いたコミュニケーションに関する研究
                            松浦文崇,高田眞吾,中小路久美代(NAIST)
        電子メールコミュニケーションに於ける未終結な会話の発生要因の分析
                            村越広享,落水浩一郎 (JAIST)
        定期的なインタビューを取り入れたデバッグプロセスの実験と分析
                            内田眞司,工藤英男 (奈良高専),門田暁人 (NAIST)

 17:10−17:50 <休憩>

 17:50−18:50 特別講演: <大会議室S10L>

         チャレンジド在宅ワークの新しい風 - 竹中ナミ (プロップ・ステーション)

 19:00−20:30 <情報交換パーティ> <講堂>


*****  6月18日 (木)  *****

 09:15−10:30 基調講演-2 <大会議室S10L>

         Social and Policy Aspects of Cryptgraphy - Philip Zimmermann(PGP)

 10:30−11:10 <休憩>

 11:10−12:40 テクニカルセッション TS3: 見積りと検証  (座長: 高橋光裕) <大会議室S10A>

        検証作業の生産性向上のための方法とその効果に関する研究
                            岡崎毅久 (日本 IBM)
        コスト見積り誤差評価の統計的仮説検定を用いた考察
                            水野修,菊野亨 (大阪大学),
                            稲垣勝巳,高木徳生,坂本啓司 (オムロン)
        プログラム静的解析の適用事例と効果分析
                            小笠原秀人,会沢実,山田淳 (東芝) 

              テクニカルセッション TS4: ネットワーク  (座長: 鈴木裕信) <大会議室S10B>

       X500 ディレクトリサービスシステムを用いたデジタル証明書
                            須賀祐治(KISIT),山崎重一郎 (KISIT),荒木啓二郎 (九州大学)
       安全な鍵付きプログラムによるソフトウェア保護
                            門田暁人,飯田元,松本健一,鳥居宏次(NAIST)
       文脈非依存な文書部品を使った動的文書システム
                            花川賢治 (大阪府立工専),武田英明,西田豊明(NAIST)

 12:40−14:00 <昼食休憩>

 14:00−15:30 テクニカルセッション TS5: 品質と信頼性  (座長: 松原友夫) <大会議室S10A>

        Bayesian Network によるソフトウェア障害対応知識のモデル化と
        事例ベース検索への応用
                            新森明宏 (インテック)
        ソフトウェア開発組織に於ける品質保証に関する一考察
                            大山勉 (松下情報システム)
        超幾何分布モデルの適用性評価及びソフトウェア信頼度モデル
                            吉田直美,原浩二,宮下貴博,喜多村直矢,
                            日比絵里香 (日立)


              テクニカルセッション TS6: 新しい情報の扱い  (座長: 酒匂寛) <大会議室S10B>

        汚染マーキングによる未来版空間の管理
                            堀雅和,篠田陽一,落水浩一郎 (JAIST)
        ネットワーク上の情報検索とブラウジング
                            吉川耕平,西村英樹,稗田薫,宇都宮速人 (シャープ)
        デザインパターンを使ったコンパイラの作成に関する考察
                            野呂昌満,熊崎敦司 (南山大学)

 15:30−16:00 <休憩>

 16:00−17:30 ワーキンググループセッション (Part-I)

        WG-1:  新しい情報環境の実現に向けて  (座長:  野呂昌満 & 酒匂寛) <大会議室S10B>
        WG-2:  構造の改革とプロセス  (座長:  落水浩一郎 & 塩谷和範) <大会議室S10A>
        WG-3:  コミュニケーションのあり方  (座長:  中小路久美代 & 花田恵太郎) <1F文化交流室>

 17:30−18:00 <休憩>

 18:00−      BOF セッション

        BOF-1:  ソフトウェアプロセスの標準化に関する自由討論 <大会議室S10A>
                            Organizer:  新谷勝利 (日本 IBM)
        BOF-2:  代数的仕様記述システム CafeOBJ の概要 <大会議室S10B>
                            Organizer:  澤田寿実 (SRA)


*****  6月19日 (金)  *****

 09:15−10:30 ワーキンググループセッション (Part-II) 

 10:30−11:30 <休憩 & 昼食>

 11:30−12:30 ワーキンググループ討論結果の報告 <大会議室S10L>

 12:30−14:00 クロージング パネル: 21 世紀のソフトウェア産業 − 共鳴と発展 <大会議室S10L>

                   コーディネータ:    落水浩一郎 (JAIST)
                   パネリスト (五十音順):  岸田孝一(SRA),熊谷章(PFU),新谷勝利(日本 IBM),
                                           玉井哲雄 (東京大学),野呂昌満(南山大),山崎利治


 14:30−15:00 クロージング <大会議室S10L>

                   最優秀論文賞発表ならびに表彰,次回開催予告