2022年5月30日に豆寄席第18回として、『形式仕様技術の活用~仕様の位置付けとVDMによる厳密な記述』を開催しました。 本セミナーではデザイナーズデン代表取締役社長の酒匂寛さんにご講演頂きました。 本稿では講演の内容を、豆寄席の参加レポートとしてご紹介します。
詳しくは、記事本文をご覧ください。
技術情報記事 豆寄席第18回『形式仕様技術の活用~仕様の位置付けとVDMによる厳密な記述』参加レポート