5月30日(月)第18回豆寄席開催！『形式仕様技術の活用～仕様の位置付けとVDMによる厳密な記述』(オンラインセミナー)

豆寄席(まめよせ)開催 『形式仕様技術の活用～仕様の位置付けとVDMによる厳密な記述』【オンラインセミナー】

本講演ではまず開発プロセス全体の中での仕様の位置付けを確認したあと、主に厳密な仕様記述方法の一例（VDMファミリー）をご紹介し、そうした厳密な記述が開発プロセス全体へ及ぼす影響についてお話しします。仕様と設計の違いにも触れる予定です。また講演の後半ではこれまで手掛けてきた書籍の紹介を行いながら開発プロセス全体との関係を改めてご説明します。

本セミナーでは、デザイナーズデン　代表取締役社長　酒匂　寛（さこう ひろし）氏が講演します。
 

皆様のご参加をお待ちしております。

セミナー概要

日時

2022年5月30日（月）18時30分～20時00分（入場は18時20分より可能）

プログラム

18:30～20:00　形式仕様技術の活用～仕様の位置付けとVDMによる厳密な記述　※質疑応答含む

講師

デザイナーズデン　代表取締役社長　酒匂　寛（さこう ひろし）氏

会場

Zoomにて実施

定員

50名

参加費・申し込み

参加費無料
こちらのフォームよりお申込みください
※外部サイトconnpassを利用しております

主催

株式会社豆蔵