実装前に AI と合意せよ!Quint で形式仕様読解入門

2026.09.24 20:28
Zenn.dev

TAKT にいれた形式仕様について、かなりいい感じに思うので記事にします。 形式仕様そのものになじみのない方も多いと思うので、そこから始めます。 形式仕様とは 自然言語で書かれた仕様書は読む人によって解釈が揺れます。 同じ文章を読んでも、人によって思い浮かべる挙動が違うことがあります。 この食い違いを防ぐ...

検索

人気記事

2026.05.05 11:04
2026.10.24 22:48
2026.10.24 23:52
2026.10.24 23:20
2026.10.22 10:11

コメント一覧

まだコメントはありません。

コメント