形式手法関連のメモ

ソフトウェア工学の道具としての形式手法

形式手法に関して歴史的かつ網羅的にまとめてあった

OpenJML

上記でも触れられてたJava向けの拡張静的チェッカ？ ECS/Java2の後継？ Java8対応らしいので試してみる

• Home | OpenJML

机上の Kubernetes - 形式手法で見るコンテナオーケストレーション

形式手法はソフトウェア設計に適用するものって凝り固まってたけど、 考えてみれば状態遷移やルール記述の塊であるインフラ構成やフローにも適用できるよね。目から鱗

ccvanishing.hateblo.jp

www.slideshare.net

EJB コンポーネントアーキテクチャの SPIN による振舞い解析

Spinを使ったEJBコンポーネントの記述事例。分散システムの記述にSPINは良いらしい