情報システム論(2010-)（学部２，３，４年）
【講義内容】
この授業では，オートマトンモデル作成を通じて，システム概念を習得します
→ 講義要項（シラバス）
【教科書】
高原 康彦ほか『形式手法モデル理論アプローチ―情報システム開発の基礎』日科技連出版社 (2007)
ただし，授業は第3章「オートマトンでモデル化する」を中心に行なうので注意すること
→ Googleで検索
【言語CAST】
プログラミング言語に相当する「モデル記述言語」です
→
「モデル記述言語CASTリファレンス」
【参考サイト】
事前に内容が把握できます →
「モデル理論アプローチによる情報システム開発」
【授業支援サイト（Toyonet-Ace)】
履修登録すれば，ちょっとだけ参考資料があります
→「情報システム論」
-> asahi's education