形式手法（仕様記述言語で仕様を厳密に記述する手法）について学びます。
上流工程に対応した技法がわかる絶好のチャンスです！
「品質と信頼性の確保」と「業務の効率化」を解決します！

日時：1日目　10月18日(金)15:00?18:30 ※延期となりました
2日目　10月19日(土)10:30?16:30 ※延期となりました

場所：琉球大学 産学官連携推進機構 201教室
（西原町字千原１番地 琉球大学内 工学部隣）
受講料：1,000円
案内及び申込用紙　⇒　（PDF312KB）

上記日程は、都合により延期となりましたのでご了承くださいませ。

尚、日程につきましては後日改めて、ご連絡いたします。