| 3 月 11 日に発生した平成23年（2011年）東北地方太平洋沖地震により被災された方々およびそのご家族、ご親族の皆様に心からお見舞いを申し上げます。また、お亡くなりになられた多くの方々のご冥福をお祈りします。被災された地域の一日も早い復興を心からお祈り申し上げます。
NPO法人 トップエスイー教育センター事務局
>>東北地方太平洋沖地震義援金について
|
近年、ソフトウェアシステムの不具合による大きな社会問題が続出しており、ソフトウェアシステムこそが情報化社会におけるリスクであるという認識が広く浸透しています。開発すべきソフトウェアシステムも年々、大規模化、複雑化、高度化、多様化の一途をたどる中、このような厳しい現実を打破するために、以下の事項に基づいた教育が求められています。
トップエスイー教育センターは、高度ＩＴ人材育成の充実に必要な教材の開発、蓄積、普及およびそれらを活用した教育システムの構築、さらには企業での活用促進のための支援を行い、日本のソフトウェア産業におけるサイエンスに基づくものづくりを定着させ、今後の継続的なその発展に寄与します。
■開催のご案内：【トップエスイー講義】「ソフトウェア工学入門」(2月24日より)」
2012.2.2
■開催のご案内：「クラウドを学べて、体験できるGRACEセミナー」(2月21日)」
2012.1.31
■開催のご案内：「【モデル検査シリーズ】トップエスイー特別講義「モデル検査事例演習」(1月6日より)」
2011.12.14
■開催のご案内：「【マネジメント講座シリーズ】トップエスイー特別講義「ソフトウェア開発見積もり手法」(1月17日,24日)」（終了）
2011.12.27
■開催のご案内：「【クラウドシリーズ】IaaSクラウドを支えるサーバ・インフラ技術を学ぶハンズオン・セミナー(11月21日)」（終了）
2011.10.28
■開催のご案内：「【モデル検査シリーズ】プロセス分析ツールPATで学ぶリアルタイム性のモデル検査(10月24日)」（終了）
2011.10.6
■開催のご案内：「フィジカルコンピューティング入門 ～エコセンサ：家電機器の消費電流を測定しよう～(8月30日)」（終了）
2011.8.3
■開催のご案内：「VDM、SPINから始める形式手法入門(8月8日-12日)」（終了）
2011.7.14
■開催のご案内：「クラウド実践」開催のご案内（10月）」（終了）
2011.6.20
■開催のご案内：【形式仕様記述シリーズ】 Coqで学ぶ定理証明入門（7月12日）」（終了）
2011.6.21
■開催のご案内：「クラウド講演会・チュートリアル（第52回先端ソフトウェア科学･工学に関するGRACEセミナー(6月24日)）」（終了）
2011.6.2
■開催のご案内：「【トップエスイーチュートリアル】 MindStormで学ぶ、UPPAALによる時間制約の検証(6月6日)」（終了）
2011.5.14
■開催のご案内：「【モデル検査シリーズ】 SMVで学ぶモデル検査入門(5月26日)」（終了）
2011.4.27
■開催のご案内：「【セキュリティソフトウェア工学シリーズ】ソフトウェア技術者・研究者のための暗号入門(5月24日)」（終了）
2011.4.14
■開催のご案内：「【トップエスイー教育センター】 edubase Cloud活用入門(3月1日)」（終了）
2010.11.4
■開催のご案内：「【特別講義】クラウドを活用したWebシステム開発入門(2月7日)」（終了）
2010.11.4
■開催のご案内：【特別講義】エージェントモデリング(1月31日, 2月1日)」（終了）
2010.12.29
■開催のご案内：「VDM++による形式仕様記述(1月25日)」（終了）
2010.11.4
■開催のご案内：トップエスイーチュートリアル「アスペクト指向ソフトウェア開発入門(12月22日)」（終了）
2010.11.19
■開催のご案内：「トップエスイーチュートリアル(10月1日)」
2010.9.16
「edubase Cloudで学ぶクラウド入門」を開催（終了）
■開催のご案内：【特別講義】を開催
2010.6.3
「セキュリティ特論(8/10,24)」（終了）
「クラウド特論(8/11,12)」（終了）
■開催のご案内：「トップエスイーチュートリアル（6月17日）」
2010.5.6
「Pepperを使ったフィジカル・コンピューティング入門」を開催（終了）
■開催のご案内：「トップエスイーナイトセミナー（3月26日）」
2010.3.5
「分散モデル検証実践」を開催（終了）
■開催のご案内：「トップエスイーナイトセミナー（2月18日より）」
2010.2.1
「ソフトウェア工学入門（４夜）」を開催（終了）
■開催のご案内：「トップエスイーチュートリアル（2月12日開催）」
2010.1.20
「ソフトウエア技術者のためのメトリクス基礎」（終了）
■開催のご案内：「トップエスイーチュートリアル（2月4日より）」
2010.1.26
「基礎理論」（終了）
■開催のご案内：「トップエスイーチュートリアル（1月25日開催）」
2009.12.21
「Bメソッドを用いた形式仕様記述と検証」を開催（終了）
■開催のご案内：「トップエスイーチュートリアル（入門編）（12月14日開催）」
2009.11.18
「並行システムの検証と実装」を開催（終了）
■開催延期のご案内：「トップエスイーチュートリアル（11月17日開催）」
2009.11.10
「Bメソッドを用いた形式仕様記述と検証」は都合により延期となりました
■モデル検査ツールUPPAALを使った時間制約の検証
チュートリアルのご案内
2009.03.16
システムの時間制約をモデル検査ツールUPPAALによって検証する方法の紹介
■ウェブサイトをオープン
2009.03.16
ウェブサイトをオープンしました
Copyright(C) TopSE Education Center. All Rights Reserved.