ＩＴ連携フォーラムＯＡＣＩＳ

第23回技術座談会開催のご案内
「ソフトウェア開発における設計検証と管理支援技術」


　技術座談会は，OACISの活動の一つで，特定のテーマについて議論するもので，2ヶ月に1回程度開催します． 大学側からは1ないし2研究室の研究内容を紹介し，大学と企業の連携について自由な議論をする場です． より議論を深めるため，小規模の参加者で行います．
　　第23回技術座談会は，「ソフトウェア開発における設計検証と管理支援技術」をテーマに開催いたします． 一つ目のテーマは，いわゆる実践的ソフトウェア工学と言われるもので， ソフトウェア保守，ソフトウェア見積りに関する研究について紹介いたします．第一回技術座談会でも紹介いたしましたコードクローンやファンクションポイント計測に関する話題を中心に行う予定です． 二つ目のテーマは，形式的手法に設計検証です．モデル検査によるソフトウェア設計の検証が有望な研究課題の1つとして世界中で研究されております. そのような形式的手法によるソフトウェア設計の概要について触れたのち, モデル検査の設計検証への応用例としてUML/OCL記述に基づいたQoS保証のあるシステム開発法について紹介いたします.
　　ソフトウェア設計について，下記に興味のある方の御出席をお願いいたします．
  1. ソフトウェア工学を知りたい．
  2. ソフトウェア高位設計の検証技術を知りたい．
  3. 大学で研究し，博士号をとりたい（とらせたい）．
講師： 大阪大学 大学院情報科学研究科 コンピュータサイエンス専攻 教授 楠本 真二
大阪大学 大学院情報科学研究科 コンピュータサイエンス専攻 助教授 岡野 浩三
(http://www-sdl.ist.osaka-u.ac.jp/)

内容： 「ソフトウェア開発における設計検証と管理支援技術」
　ソフトウェア設計に関する諸技術の中で実践的ソフトウェア工学や, 形式的手法に基づく仕様記述と検証技術に関する研究について取り上げます. 今回の座談会では具体的には
  1. ソフトウェア保守，ソフトウェア見積りなどのソフトウェア開発管理支援技術
  2. UML/OCL記述に基づいたQoS保証のある実時間システム開発法
の紹介を行います．
座談会では上記の話題に限らず，日本のソフトウェア設計技術の向上に際し, 産学共同研究として何ができるかについて，皆様と議論をしたいと考えています．
開催日時： 平成17年12月14日（水）
座談会 15:00〜17:00
懇親会 17:00〜18:00
個別の議論の場として簡単な懇親会を開催しますので，こちらへのご参加もよろしく御願いします．
場所： 大阪商工会議所 地下1階2号会議室（http://www.osaka.cci.or.jp/Shoukai/Map_Tel/shozaichi.html）
（〒540-0029　大阪市中央区本町橋2番8号）
参加対象： ＩＴ連携フォーラムＯＡＣＩＳ（http://www.oacis.jp/）会員企業・団体に属する方および参加希望企業の方．
 
  
**なお会場の都合上，参加は先着順30名とさせて頂きます．

申し込み方法：
    下記の内容をメールでregistration_zadankaiに送付する．

内容に関する問い合わせ先：
    大阪大学 大学院情報科学研究科 コンピュータサイエンス専攻　岡野 浩三（okano）

-----------第23回技術座談会申し込み様式-------------------------------
第23回技術座談会（「ソフトウェア開発における設計検証と管理支援技術」）

氏名：
会社名：
所属：
住所：
メールアドレス：
電話番号：

参加目的：下記のどれかに○をつけてください（複数可）．該当しない場合は（　）内に記述して下さい．

  1. ソフトウェア工学を知りたい．
  2. ソフトウェア高位設計の検証技術を知りたい．
  3. 大学で研究し，博士号をとりたい（とらせたい）．
（参加目的：　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　）
--------------------------------------------------------------------