BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:形式仕様技術の活用〜仕様の位置付けとVDMに
 よる厳密な記述【オンラインセミナー】 豆寄席
X-WR-CALNAME:形式仕様技術の活用〜仕様の位置付けとVDMに
 よる厳密な記述【オンラインセミナー】 豆寄席
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:858965@techplay.jp
SUMMARY:形式仕様技術の活用〜仕様の位置付けとVDMによる
 厳密な記述【オンラインセミナー】 豆寄席
DTSTART;TZID=Asia/Tokyo:20220530T183000
DTEND;TZID=Asia/Tokyo:20220530T200000
DTSTAMP:20260405T210617Z
CREATED:20220517T062824Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/85896
 5?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n【What's　豆
 蔵？】\n豆蔵の代表的な3つの事業領域は、「エンター
 プライズ領域」「AI・データサイエンス領域」「組込
 み領域」。\nそれぞれの領域において、情報化やIoTシ
 ステムの最適化を提供しています。\n課題発見から企
 画・デザイン・開発・運用を含む、システム／ソフト
 ウェアのスタイル変革まで幅広く提供できる先進のIT
 コンサルティングファームです。\n【What's　豆寄席？
 】\n豆寄席は、豆蔵が毎月社員向けに行なっている技
 術イベントです。\n是非この場を皆さんとの交流の場
 として活用したい！そんな声をもとにオープンな場と
 して提供する事に致しました。\n豆寄席では、豆蔵の
 技術的知見、開発スタイル、開発の楽しさ等を皆さん
 と一緒にお話しさせていただく予定です。\n皆様との
 交流も兼ねておりますので、技術好きな方は気兼ねな
 くお越しください(^^♪\nイベント詳細\n・日時：2022年5
 月30日（月）18時30分～20時00分（入場は18時20分より可
 能）\n\n【タイムスケジュール】\n  18時30分～20時00分　
 形式仕様技術の活用〜仕様の位置付けとVDMによる厳密
 な記述　※質疑応答含む\n\n本講演ではまず開発プロセ
 ス全体の中での仕様の位置付けを確認したあと、主に
 厳密な仕様記述方法の一例（VDMファミリー）をご紹介
 し、そうした厳密な記述が開発プロセス全体へ及ぼす
 影響についてお話しします。仕様と設計の違いにも触
 れる予定です。また講演の後半ではこれまで手掛けて
 きた書籍の紹介を行いながら開発プロセス全体との関
 係を改めてご説明します。\n\n\n\n講師：酒匂寛 \nデザ
 イナーズデン代表取締役社長\n\n\n\n\n元獣医師。80年代
 のメインフレーム、ワークステーションでの開発を経
 て、90年代はオブジェクト指向、21世紀になってからは
 形式仕様技術のコンサルティングなどを行う。\n著書
 「課題・仕様・設計」\n訳書「オブジェクト指向入門
 」（メイヤー）、「ソフトウェア要求と仕様」（ジャ
 クソン）、「ライフロングキンダーガーテン」（レズ
 ニック）、「教養としてのコンピューターサイエンス
 講義」（カーニハン）など\n\n\n\n参加対象：誰でも  \n
 参加費：無料  \n会場　：Zoomで行います。 申込後に閲
 覧が可能となる、参加者情報欄にURLを記載しておりま
 す。  \n\n\n※オンラインセミナー並びに二次会では、
 豆蔵社による写真や動画撮影が行われる予定です。会
 場内のお客さまが映り込む場合があります。それらは
 、豆蔵社によるイベント終了後の広告物、取材メディ
 アによるWEBなどに露出／掲載される場合がありますの
 で、撮影NGの方は事前にご連絡ください。\n弊社につい
 て、詳しく知りたい方はコチラ https://wwwrecruit.mamezou.com
 /
LOCATION:Zoom オンライン
URL:https://techplay.jp/event/858965?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR