2014年10月24日に行われたDESTECS/Crescendoセミナーの資料置き場です．

ツールインストール

下記Webサイトからインストールしてください（Windows/Mac/Linux）．

http://crescendotool.org/

ツールの機能のうち一部機能を使うためのライセンスキーはセミナー会場にて配布します．

セミナースライド

• 1. イントロダクション
  • 英語版スライドPDF
  • 日本語版スライドPDF
• 2. ロボット題材による演習
  • 英語版スライドPDF
  • 日本語版スライドPDF
  • 演習題材 ZIP
  • 使いそう・はまりそうな文法に関するメモ
• 3. 応用事例・今後
  • 英語版スライドPDF
  • 日本語版スライドPDF

参考資料

• IPAによる仕様記述入門（VDMにも触れながら「仕様とは？」「仕様の記述とは？」について解説）
• 別のセミナーでの「仕様記述言語」としてのVDM概要の資料（石川）
• 文法クイックリファレンス（非公式）

問い合わせ先

f-ishikawa [[at]] nii.ac.jp

講師Webサイト

https://research.nii.ac.jp/~f-ishikawa/