トップエスイー教育センターとは

近年、ソフトウェアシステムの不具合による大きな社会問題が続出しており、ソフトウェアシステムこそが情報化社会におけるリスクであるという認識が広く浸透しています。開発すべきソフトウェアシステムも年々、大規模化、複雑化、高度化、多様化の一途をたどる中、このような厳しい現実を打破するために、以下の事項に基づいた教育が求められています。

小さな例題ではなく、開発現場に則した実践的な事例と演習
先端技術および理論に基づいたソフトウェア工学理論の学習
複雑なシステムをモデル化する技術

トップエスイー教育センターは、高度ＩＴ人材育成の充実に必要な教材の開発、蓄積、普及およびそれらを活用した教育システムの構築、さらには企業での活用促進のための支援を行い、日本のソフトウェア産業におけるサイエンスに基づくものづくりを定着させ、今後の継続的なその発展に寄与します。

Skip to News

« back

■開催のご案内：【特別講義】を開催
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
ウェブサイトをオープンしました