お知らせ 【重要なお知らせ】2022年6月22日にプライバシーポリシーを変更いたしました。

このエントリーをはてなブックマークに追加

May

30

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

第18回 社内オンラインイベント共有会【豆寄席(まめよせ)】

Organizing : 株式会社豆蔵

Hashtag :#豆寄席
Registration info

参加枠1

Free

FCFS
52/55

参加者への情報
(参加者と発表者のみに公開されます)

Description

【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世紀になってからは形式仕様技術のコンサルティングなどを行う。 著書「課題・仕様・設計」 訳書「オブジェクト指向入門」(メイヤー)、「ソフトウェア要求と仕様」(ジャクソン)、「ライフロングキンダーガーテン」(レズニック)、「教養としてのコンピューターサイエンス講義」(カーニハン)など

Image from Gyazo

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

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

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

sizimitrr

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

05/17/2022 10:05

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

Ended

2022/05/30(Mon)

18:30
20:00

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2022/05/17(Tue) 10:05 〜
2022/05/30(Mon) 20:00

Location

Zoom

オンライン

Zoom

Organizer

Attendees(52)

lgaakeaafdas

lgaakeaafdas

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席に参加を申し込みました!

FUJII Yoshitaka

FUJII Yoshitaka

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席 に参加を申し込みました!

増田 亨

増田 亨

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席 に参加を申し込みました!

masanagao

masanagao

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席 に参加を申し込みました!

m-kamei

m-kamei

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席 に参加を申し込みました!

髙津修一

髙津修一

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席 に参加を申し込みました!

haradakiro

haradakiro

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席 に参加を申し込みました!

amapetas

amapetas

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席 に参加を申し込みました!

Hideto Yamamoto

Hideto Yamamoto

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席に参加を申し込みました!

varhira

varhira

形式仕様技術の活用〜仕様の位置付けとVDMによる厳密な記述【オンラインセミナー】 豆寄席 に参加を申し込みました!

Attendees (52)

Canceled (2)