Ishikawa Lab. English >

このページでは講義・セミナーなどの資料を公開しています.

個々の研究に関する論文・発表資料等は,数が多くここでは公開していません.論文はDBLPGoogle Scholarなどから探していただくか,お問い合わせ下さい.

研究関連の講演・チュートリアル

エージェント概論,IoT/CPSなどにおける工学的挑戦,ソフトウェア工学における自己適応やModels@run.time(JAWS 2016 プレスクール)

技術解説Webサイト

形式手法に関する様々な情報・ガイドラインなど

書籍の関連情報,ツールの利用法やFAQなど

産業界向けセミナー等

2014年・物理・連続系モデルとソフトウェア設計との連動シミュレーター

2012年・日本科学技術連盟SQiP研究会「形式仕様と仕様記述」イントロ資料(VDM,SPIN,Alloyを中心とした紹介)

2011年・NPO法人トップエスイー教育センターにおけるセミナー「VDM,SPINからはじめる形式手法入門」の初日資料(VDMとSPINを中心とした紹介)

大学院講義

マルチスレッドプログラミング,並行システムモデリング,モデル検査)

プログラム検証基礎理論,形式仕様記述,テスト技法

分散システム概論,複製管理の仕組み,クラウドサービスにおける設計思想,CAP定理・BASEトランザクションなど

分散オブジェクト,XML,Webサービス,Semantic Web,クラウドなどのオムニバス