この記事は「JCSQE全く分からなかったよね反省会を試験前からやるかなカレンダー」22日目の記事です。
段々何日目か忘れてきましたが、一応泣いても笑っても25日で終わりにするつもりです。
adventerには多分公開しない予定。
22日目は問題41：形式手法から、形式手法における形式仕様記述の技法に関する問題です。
形式手法は某wacateでワークさせてもらったり、デブサミでセッション聞いたりしてたので「全く分からねー」ではないのですが「ふんわりしか分かってない」ではあります。
この問題は「系統的ってなんだっけ、、」で間違えました。系統的＝順序だった、みたいな意味なんですね。
SQuBOK v3ではP152～です。
形式手法の目的っていうのはとにかくあいまいさや不正確さをめっちゃなくす！ってことです。
反面、記載内容はほぼ数式？プログラム？みたいな感じなので、直感的理解とは程遠い感じになります。
なつかしきwacateの形式手法ワーク（VDM）
形式手法ってなんだろう？ - Speaker Deck
なつかしきデブサミの形式手法セッション
「厳密な共通言語」としての形式手法 #devsumi / Developers Summit 2020 - Speaker Deck
形式手法を適用するのは手法を覚えるのもそもそも仕様の曖昧さをなくすのもそれなりに工数がかかるので
最初に形式手法を適用目的を明確にするのが必要そうです。
なんとなくドメインの厳密度に依存するんじゃないかなって思います。
（自分が実用したことないので想像ですが、ドメイン内でも曖昧になってはダメなところに部分適用とかするんですかね・・
というわけでぐぐってみたら結構さまざまなドメインで使用しているようにみえました。
Felicaかー！動機に工期短縮を選んでいるところもあるのがおもしろいです。
あと、言語の壁を超えるっておおって思いました。
https://www.ipa.go.jp/archive/digital/iot-en-ci/keishikisyuho/hjuojm000000m6wx-att/000026875.pdf
こっちを見たほうがよかったか・・
形式手法の分類 - 応用事例DB
私は事例を調べる前は「車と金融と航空と医療でしか使ってないんじゃないか・・」という謎の先入観で形式手法のことをみていましたが
メリットを踏まえながら部分的にでも適用できる場所を増やして、形式手法の特徴を生かした品質確保ができるといいですよね
（月並みなコメントですみません
自分が無知すぎて厳しいので世の中では技法はちゃんと使われているんだよってことを知っていこう。。
参考：
初級ソフトウェア品質技術者資格試験（JCSQE)問題と解説【第3版】P24、P97～98
SQuBOK v3 P152～154
