中島震

抽象によるソフトウェア設計 ―Alloyではじめる形式手法

ダニエル・ジャクソン, 中島震 ほか4名

既刊1巻（最新巻：2020/09/02）

トップエスイー実践講座

来間啓伸, 本位田真一, 中島震

既刊6巻（最新巻：2018/04/04）

Ｅｖｅｎｔ－Ｂ　：　リファインメント・モデリングに基づく形式手法

中島震, 來間啓伸

既刊1巻（最新巻：2018/04/04）