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

332f89cc697355902a817506b6995f2b?s=47 y_taka_23
February 13, 2020
3.6k

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

Developers Summit 2020 で使用したスライドです。

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

イベント概要:https://event.shoeisha.jp/devsumi/20200213/session/2380/

332f89cc697355902a817506b6995f2b?s=128

y_taka_23

February 13, 2020
Tweet