投稿者: topse-center

【TopSEチュートリアル】Pepperを使ったフィジカル・コンピューティング入門(6/17開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2010年 6月17日(木) 13:15-17:00（受付開始13:00）
■会　場：国立情報学研究所 20階
■参加申し込み： 受付は締め切りました

セミナー概要
日　時 2010年 6月17日(木) 13:15-17:00（受付開始13:00）
会　場 国立情報学研究所 20階
概　要 　フィジカル・コンピューティング(Physical Computing)は、パソコンを外部の世界につなぎ、コンピュータと人間とのインタラクションのあり方を研究する研究分野の一つです。これまでのキーボード、マウス、ディスプレィなどを使ったグラフィカル・ユーザ・インターフェース(GUI)を越えた新しい形式のインターフェースを作る取り組みです。本セミナーでは、フィジカル・コンピューティングの基本的な考え方を理解し、パソコンから簡単なデバイス制御ができるようになることを目的とします。本セミナーでは日本発の Open Source Hardware である Gainer 互換の Pepperを使い、ご自分のパソコンを持ち込んで試すことができます。ブレッドボードを使いハンダ付けは不要ですので電子工作が始めてのかたでも問題ありません。また、セミナーで使った機材はお持ち帰りできます。

注：持ち込みPCは、Windows XP, Windows Vista, Mac OS Xのいずれかをご用意ください
内容のレベル 入門・基礎
講　師 桑田喜隆（株式会社ＮＴＴデータ　技術開発本部）
定　員 10名(先着順)
受講料(税込) 会員 5,000円、非会員 6,000円
※「会員」はNPO法人 トップエスイー教育センターの会員の方となります。お申込みの際に会員であることをご登録願います。
※GRACEセンター協賛企業の方は事務局までお問い合わせ下さい。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

【TopSE特別講義】「クラウド特論」(8/11-12開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2010年8月11日(水)，8月12日(木) いずれも，18:20-21:30
■会　場：国立情報学研究所
■受講料：無料
■対象：NPO法人 トップエスイー教育センターの会員、およびトップエスイー受講生（定員 32名, 先着順）

※NPO法人 トップエスイー教育センターの会員でない方でも開催日当日までに会員登録をお済みであればご参加いただけます。詳しくは「お問合せ窓口（seminar@topse.or.jp）」にご連絡ください。

セミナー概要
日　時 2010年8月11日(水)，8月12日(木) いずれも，18:20-21:30 (計4コマ)
会　場 国立情報学研究所
概　要 クラウドコンピューティング技術の概要から，アプリケーション例までをとりあげる．
2日間の講義のうち，初日にはクラウドコンピューティングの概要を講義し，代表的なクラウド環境のアクセスや本年より国立情報学研究所にて運用を開始したedubase cloudを体験する．
2日目には，edubase cloud を用いて演習を行う．アプリケーションの例として分散処理と分散モデル検証を取り上げ，バックエンドにある並列分散計算機環境を利用することで，サイズの大きな問題が解けることを，演習を通して経験・理解してもらう．
なお，本講義の一部では，本年3月に行われたトップエスイーチュートリアル「分散モデル検証実践」と同一の教材を用いる．
内容のレベル 応用
講　師 横山重俊 (NII特任教授)，粂野文洋 (NII特任准教授), 田辺良則 (NII特任准教授)
対　象 NPO法人 トップエスイー教育センターの会員、およびトップエスイー受講生が対象となります。*応募者多数の際は申込み先着順とさせていただきます。
※　定員 32 名（先着順）
※NPO法人 トップエスイー教育センターの会員でない方でも開催日当日までに会員登録をお済みであればご参加いただけます。詳しくは下記「お問合せ窓口」にご連絡ください。
受講料 無料
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

【TopSEチュートリアル】「分散モデル検証実践」(3/26開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2010年3月26日　13：00　～　17：30　（受付開始　12：30）
■会　場：国立情報学研究所 20階 講義室1・2(2004,2005)
■参加費：無料

セミナー概要
日　時 2010年3月26日　13：00　～　17：30　（受付開始　12：30）
会　場 国立情報学研究所 20階階講義室１・２室(2004,2005)
概　要 　モデル検査を現場の問題に適用する際に、検証のための探索空間が巨大になるために、検証が出来ない場合が往々にしてあり、そのための抽象化などの技術が必要になる。しかし、そのための工数が非常にかかり、モデル検査技術の普及を妨げている。本セミナーでは、バックエンドに並列分散計算機環境を利用することで、より大きな検証問題を解くことが可能であることを、演習を通じて経験・理解してもらう。
内容のレベル 応用
講　師 粂野文洋（株式会社三菱総合研究所 情報技術研究センター 主任研究員）
豊嶋大輔（同上）
定　員 20名(先着順)
※NPO法人 トップエスイー教育センターの会員が対象となります。お申込みの際に会員であることをご登録願います。
※GRACEセンター協賛企業の方は事務局までお問い合わせ下さい。
受講料 無料
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

 

【TopSEナイトセミナー】 ソフトウェア工学入門－４日で学ぶソフトウェア工学(2/18, 26, 3/4, 11開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：
第１夜　2010年 2月18日(木) 17:30-20:40
第２夜　2010年 2月26日(金) 17:30-20:40
第３夜　2010年 3月 4日(木) 17:30-20:40
第４夜　2010年 3月11日(木) 17:30-20:40
■会　場：国立情報学研究所 20階

セミナー概要
日　時 第１夜　2010年 2月18日(木) 17:30-20:40
第２夜　2010年 2月26日(金) 17:30-20:40
第３夜　2010年 3月 4日(木) 17:30-20:40
第４夜　2010年 3月11日(木) 17:30-20:40
会　場 国立情報学研究所 20階
概　要 ソフトウェア工学に関する連続セミナー(４回）を開催します。本セミナーでは、ソフトウェア工学の基本的なトピック（要求分析、設計、プロジェクトマネージメント、形式手法）ごとに専門講師陣が分かりやすく解説します。ソフトウェアにおける要求とは何か？設計をうまく行うにはどうすれば良いか？プロジェクトを円滑に進めるポイントは？フォーマルメソッドとは？など、基礎的な知識を押さえておきたいという方は是非参加ください。完全オムニバス形式ですので、お好きなトピックだけ参加することも可能です。

  • 第１夜 2月18日(木) 17:30-20:40
    • ソフトウェア工学概論 (吉岡 講師, 国立情報学研究所)
    • 要求工学入門 (白銀 講師, 東京女子大)
  • 第２夜 2月26日(金) 17:30-20:40
    • UML入門、アーキテクチャパターンとデザインパターン (鄭 講師, 早稲田大学)
    • 再利用の有用性とプロダクトライン型開発概論 (位野木 講師, 東芝ソリューション)
  • 第３夜 3月 4日(木) 17:30-20:40
    • プロジェクトマネージメント概論 (白川 講師, NTTデータ先端技術)
  • 第４夜 3月11日(木) 17:30-20:40
    • フォーマルメソッド概論（石川講師, 国立情報学研究所）

※本セミナーはトップエスイーの講義ではありませんので、単位は取得できません。
定　員 35名(先着順)
受講料金 一般会員　 10,000円
一般非会員 15,000円
学生会員　 5,000円
学生非会員 7,000円

※当日会場にて現金でお支払い下さい。領収書を発行します。
※NPO法人 トップエスイー教育センター会員および協力団体の方は「会員」価格となります。
※受講料には教科書代金を含みます。
※国立情報学研究所が主催するトップエスイーに入学予定の受講生の方は無料です。申し込み時にお知らせください。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

【TopSEチュートリアル】「基礎理論」(2/4より開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2010年2月4日(木)、5日(金)、9日（火）、12日（金）、16日（火）、19日（金）、22日（月）、23日（火）、25日（木）
1限目：　18:30 – 20:00、2限目：　20:15 – 21:45
※25日のみ1限、その他は1日あたり2限で開催（全15回）
■会　場：国立情報学研究所 20階　2001
■参加申込等: 受付は終了しました

セミナー概要
日　時 2010年2月4日(木)、5日(金)、9日（火）、12日（金）、16日（火）、19日（金）、22日（月）、23日（火）、25日（木）
1限目：　18:30 – 20:00、2限目：　20:15 – 21:45
※25日のみ1限、その他は1日あたり2限で開催（全15回）
会　場 国立情報学研究所 20階 2001
概　要 詳細は、こちらをご覧ください。
講　師 トップエスイープロジェクト講師陣：
磯部 祥尚、粂野 文洋、櫻庭 健年、田口 研治、田原 康之
定　員 35名(先着順)
受講料金 一般会員　 120,000円
一般非会員 150,000円
学生会員　 50,000円
学生非会員 100,000円

※参加費は指定口座への事前に振り込みをお願いします。口座情報は参加お申し込み後に事務局より連絡いたします。なお、振り込み確認後に領収書を発行します。
※参加費には教科書および参考書代が含まれます。
※「会員」：NPO法人 トップエスイー教育センター会員、協力企業の方が割引の対象となります。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

 

【TopSEチュートリアル】ソフトウエア技術者のためのメトリクス基礎(2/12開催)[終了]

投稿日時: 投稿者: topse-center

■日　程：2010年2月12日(金)　10:00〜17:00（受付開始：9:30）
■会　場：国立情報学研究所 20階　2001

セミナー概要
日　時 2010年2月12日(金)　10:00〜17:00（受付開始：9:30）
会　場 国立情報学研究所 20階 2001
概　要 ソフトウェア開発の定量的管理に不可欠なメトリクスについて、基礎と理論を体系的に説明し、グループ議論や表計算ソフトウェアによる演習を通じて使いどころを具体的に解説します。メトリクスは開発やマネジメントの意思決定に必要な情報を与えますが、測定したい概念が実世界で測定可能とは限らず、限界を理解したうえで活用することが重要です。本チュートリアルでは教科書に即して、測定の理論に始まり、プロダクトからプロセス、プロジェクトに至るまで、様々な段階で「何を測定するか」を具体的に説明し、ソフトウェアの「見える化」技法を演習中心に分かりやすく解説します。プログラマからSE、品質保証担当者、マネージャまで幅広く対応し、見積もりや測定を基本から学びたい初学者にも最適です。

  1. メトリクスの基礎理論：測定モデル、測定理論、必要性など
  2. 規模の測定: LOC、機能規模（ファンクションポイント他）など
  3. 複雑性の測定: サイクロマティック複雑度、情報フロー複雑度など
  4. プロジェクト進捗の測定: テスト管理図、欠陥バックログ、欠陥発見計画など
  5. プロセスの欠陥除去能力: 欠陥密度、欠陥除去率
  6. 動的モデルによる欠陥予測: レイリーモデル、工数・生産性など
  7. システムの可用性や信頼性: 稼働率、応答時間、様々な分布、経年劣化・若化など
  8. まとめ: 調査研究の動向、GQM法など

※教科書：「演習で学ぶソフトウエアメトリクスの基礎 – ソフトウエアの測定と見積もりの正しい作法」（リンダ・Ｍ・ライルド、Ｍ・キャロル・ブレナン著　野中 誠、鷲崎 弘宜訳、日経BP社）
講　師 野中誠（東洋大学　経営学部　経営学科　准教授）
鷲崎弘宜（早稲田大学 理工学術院 准教授 ／ 国立情報学研究所 客員准教授）
定　員 35名(先着順)
※ 参加者は各自PCを持参のこと（持参できない場合は事務局にて準備）
※ 講義中はExcel を使用
受講料金 一般会員　 15,000円
一般非会員 25,000円
学生会員　 5,000円
学生非会員 8,000円

※参加費には教科書代が含まれます。
※教科書を既にお持ちの場合は参加費から2,940円割引されます。
※当日会場にて現金でお支払い下さい。領収書を発行します。
※「会員」：NPO法人 トップエスイー教育センター会員,
日本ソフトウェア科学会会員、その他協力団体が割引の対象となります。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
日本ソフトウェア科学会 ソフトウェア工学基礎研究会
フェリカネットワークス株式会社
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

【TopSEチュートリアル】Bメソッドを用いた形式仕様記述と検証(1/25開催)[終了]

投稿日時: 投稿者: topse-center
セミナー概要
日　時 2010年1月25日(月)　10:00〜17:00（受付開始：9:30）
会　場 国立情報学研究所 20階 2001
概　要 このチュートリアルでは，形式手法Bメソッドを使った仕様記述と，仕様の整合性検証について紹介します．形式手法は，文法規則が厳密に定められた言語を使って仕様を記述することを特徴とするソフトウェア開発手法であり，システムの信頼性を向上させる技術として期待されています．その反面，ソフトウェア開発過程における位置付けは必ずしも明確ではなく，実適用上の課題となっていました．Bメソッドは作業手順と支援ツールが整備されており，パリ地下鉄をはじめとして多くの適用事例が知られています．
本チュートリアルでは，Bメソッドによる開発過程を，ツールを使った実演を交えて解説します．
講　師 来間　啓伸（株式会社日立製作所 システム開発研究所）
定　員 35名(先着順)
受講料金 一般会員　 20,000円
一般非会員 30,000円
学生会員　 10,000円
学生非会員 15,000円

※受講料には教科書（『Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)、近代科学社 』）代金を含みます。
※当日会場にて現金でお支払い下さい。領収書を発行します。
※「会員」：NPO法人 トップエスイー教育センター会員、協力企業の方が割引の対象となります。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
株式会社日立製作所
ディペンダブル・ソフトウェア・フォーラム
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

【TopSEチュートリアル】「並行システムの検証と実装（入門編）」(12/14開催)[終了]

投稿日時: 投稿者: topse-center
セミナー概要
日　時 2009年12月14日(月)　10:00～17:00（受付開始：9:30）
会　場 国立情報学研究所 20階　2001A
概　要 本セミナーでは、並行システムの信頼性を高めることを目的として、並行システムをプロセス代数CSP (Communicating Sequential Processes) でモデル化し、モデル検査器FDRで検証し、JavaライブラリJCSPで実装する方法について説明します。CSPは並行システムを解析するための理論、 FDRはCSPモデルを検証するためのツール、JCSPはCSPモデルを並列/分散実行するためのライブラリです。本セミナーの特徴は、CSP理論 →FDR検証→JCSP実装の流れを重視していることにあります。FDRとJCSPの使い方を習得することによって、並行システムのCSPによるモデル化 と検証の考え方をより深く理解することができます。
>■補足情報
講　師 磯部 祥尚（独立行政法人産業技術総合研究所）
定　員 35名(先着順)
受講料金 一般会員　 15,000円
一般非会員 25,000円
学生会員　 5,000円
学生非会員 8,000円
※当日会場にて現金でお支払い下さい。領収書を発行します。
※「会員」：NPO法人 トップエスイー教育センター会員、NPO法人 CSPコンソーシアム会員、日本ソフトウェア科学会会員が割引の対象となります。
主　催 NPO法人 トップエスイー教育センター
協　力 国立情報学研究所 GRACEセンター
NPO法人 CSPコンソーシアム
日本ソフトウェア科学会 ソフトウェア工学の基礎研究会
お問合せ窓口 セミナーに関するご質問などは、下記アドレスにて承ります。
seminar@topse.or.jp

【TopSEチュートリアル】モデル検査ツールUPPAALを使った時間制約の検証(3/27開催)[終了]

投稿日時: 投稿者: topse-center

■日時：2009年3月27日(金)　10時〜17時（受付開始：午前9時半）
■会場：国立情報学研究所 20階ミーティングルーム1・2会議室
■参加費：一般会員 7,000円 、一般非会員 20,000円 、学生会員 2,000円 、学生非会員 4,000円
※NPO法人 トップエスイー教育センター、日本ソフトウェア科学会、情報処理学会ソフトウェア工学研究会の会員が割引の対象となります。
※GRACEセンター協賛企業の方は別途お問い合わせください。
■詳細は「モデル検査ツールUPPAALを使った時間制約の検証」参加募集のご案内