サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
買ってよかったもの
www.topse.jp
Hot Topics 2024-3-18 第18期受講生の活動成果を公開しました 2024-02-13 2024年度の科目受講に関するパンフレットを公開しました 科目の申し込み締切日や講義日程をご確認いただけます. 2023-11-8 2024年度19期生募集パンフレット, 2024年度19期生募集ポスターを公開しました 2023-11-2 2024年度カリキュラムに関して 講義・ 講師・ 時間割を公開しました 2023-11-1 2024年度受講生募集 情報を掲載しました 2023-10-27 2024年度受講生向け講座説明会 情報を掲載しました 2023-10-5 修了生の声 2022年度 17期生8名分を掲載しました 修了生の声(対談)(2023/11/24 トップエスイー第19期生向け講座説明会にて) 15期生 富士通株式会社 鳥野剛史 15期生 株式会社NTTデータグループ 呉隆
2011年3月11日に発生した東日本大震災により被災された方々およびそのご家族、ご親族の皆様に心からお見舞いを申し上げます。また、お亡くなりになられた多くの方々のご冥福をお祈りします。被災された地域の一日も早い復興を心からお祈り申し上げます。 2012年度受講生募集 2012年度受講生(第7期生)を募集します.トップエスイー受講についての概要は,「受講開始から修了まで」のページをご覧ください.募集手続きの詳細は一般のかたと,協賛企業に所属されているかた で若干異なります.該当するリンク先をご覧ください. 現在受講している方の意見や,修了されている方の声は,こちらのページからどうぞ. UCLとのPBL 英国の大学UCL (University College London)と共同でPBL(project-based learning; プロジェクト実施型の演習)を行うことになりました.201
国立情報学研究所 (National Institute of Informatics) 本位田研究室 トップエスイープロジェクト事務局 〒101-8430 東京都千代田区一ツ橋2-1-2 TEL : 03-4212-2692 FAX : 03-4212-2697 e-mail : admin@topse.jp
日本ソフトウェア科学会 チュートリアル トップエスイーチュートリアルシリーズ: モデル検査ツールUPPAALを使った時間制約の検証 参加募集のご案内 ■チュートリアルの趣旨と概要 本チュートリアルでは,システムの時間制約をモデル検査ツールUPPAALによっ て検証する方法について講演します。 ソフトウェア開発の上流工程で信頼性を向上させる技術として,形式手法の一 つであるモデル検査に基づく設計検証が注目されています。従来,形式手法は, 宇宙探査機や原子力発電所の制御など高い信頼性を必要とするシステムの検証 に用いられていましたが,組み込みシステムの分野においてもソフトウェアの 複雑化に伴い,もはや,人手によるレビューが困難になりつつあり,モデル検 査の活用が望まれています。また,モデル検査を行うためのツールの開発・公 開により,一般のソフトウェア技術者もその技術を利用可能になってきました。
トップエスイープロジェクトは、平成16年度文部科学省科学技術振興調整費の支援を受け、国立情報学研究所(National Institute of Informatics) 及び国立情報学研究所 教授 本位田真一が中心となり推進しているプロジェクトです。
このページを最初にブックマークしてみませんか?
『INTER-Mediator』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く