形式手法関連のメモ
ソフトウェア工学の道具としての形式手法
形式手法に関して歴史的かつ網羅的にまとめてあった
OpenJML
上記でも触れられてたJava向けの拡張静的チェッカ？ ECS/Java2の後継？ Java8対応らしいので試してみる
机上の Kubernetes - 形式手法で見るコンテナオーケストレーション
形式手法はソフトウェア設計に適用するものって凝り固まってたけど、 考えてみれば状態遷移やルール記述の塊であるインフラ構成やフローにも適用できるよね。目から鱗
www.slideshare.net
