形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席

【What's　豆蔵？】

豆蔵の代表的な3つの事業領域は、「エンタープライズ領域」「AI・データサイエンス領域」「組込み領域」。

それぞれの領域において、情報化やIoTシステムの最適化を提供しています。

課題発見から企画・デザイン・開発・運用を含む、システム／ソフトウェアのスタイル変革まで幅広く提供できる先進のITコンサルティングファームです。

【What's　豆寄席？】

豆寄席は、豆蔵が毎月社員向けに行なっている技術イベントです。

是非この場を皆さんとの交流の場として活用したい！そんな声をもとにオープンな場として提供する事に致しました。

豆寄席では、豆蔵の技術的知見、開発スタイル、開発の楽しさ等を皆さんと一緒にお話しさせていただく予定です。

皆様との交流も兼ねておりますので、技術好きな方は気兼ねなくお越しください(^^♪

イベント詳細
・日時：2022年5月30日（月）18時30分～20時00分（入場は18時20分より可能）

【タイムスケジュール】
18時30分～20時00分　形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述　※質疑応答含む

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

• 講師：酒匂寛
  • デザイナーズデン代表取締役社長

元獣医師。80年代のメインフレーム、ワークステーションでの開発を経て、90年代はオブジェクト指向、21世紀になってからは形式仕様技術のコンサルティングなどを行う。 著書「課題・仕様・設計」 訳書「オブジェクト指向入門」（メイヤー）、「ソフトウェア要求と仕様」（ジャクソン）、「ライフロングキンダーガーテン」（レズニック）、「教養としてのコンピューターサイエンス講義」（カーニハン）など

• 参加対象：誰でも
• 参加費：無料
• 会場　：Zoomで行います。 申込後に閲覧が可能となる、参加者情報欄にURLを記載しております。

※オンラインセミナー並びに二次会では、豆蔵社による写真や動画撮影が行われる予定です。会場内のお客さまが映り込む場合があります。それらは、豆蔵社によるイベント終了後の広告物、取材メディアによるWEBなどに露出／掲載される場合がありますので、撮影NGの方は事前にご連絡ください。

弊社について、詳しく知りたい方はコチラ https://wwwrecruit.mamezou.com/