「厳密な共通言語」としての形式手法 #devsumi / Developers Summit 2020

テクノロジーカテゴリーの変更を依頼記事元:

speakerdeck.com/ytaka23

49 usersがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

「厳密な共通言語」としての形式手法 #devsumi / Developers Summit 2020

Developers Summit 2020 で使用したスライドです。言葉というものは曖昧です。複数人が「ともにつくる... Developers Summit 2020 で使用したスライドです。言葉というものは曖昧です。複数人が「ともにつくる」システムにおいて、メンバ間で仕様を正しく共有することは非常に重要ですが、一方で言葉の裏側に隠された「暗黙の仮定」を見抜くことは簡単ではありません。このような仕様の曖昧性への対抗手段として、本セッションでは「形式手法」を紹介します。形式手法ではシステムの挙動を数学的に記述することにより、自然言語の持つ曖昧性を排除し、仕様が満たされるかどうかを厳密に検証することが可能になります。あなたの頭の中にある仕様がどのように「数学的な記述」に変換されるのか、具体例を通して体験してみませんか？イベント概要：https://event.shoeisha.jp/devsumi/20200213/session/2380/

ブックマークしたユーザー

techtech05212024/03/23
nogoochi2020/05/06
p_tan2020/02/27
brains-kot2020/02/19
nabinno2020/02/16
Getaji2020/02/15
omega3142020/02/14
xef2020/02/14
Nyoho2020/02/14
nurse2020/02/14
yojik2020/02/14
sonota882020/02/14
nishitki2020/02/14
jack09092020/02/14
hi_igu2020/02/14
chicken_kozo2020/02/14
kiichi692512020/02/14
jamalen2020/02/14

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx