SPINとEclipse

SPINの勉強本として、The Spin Model Checker: Primer and Reference Manual

があるそうだが、なぜか「あわせて買いたい」にEclipse Modeling frameworkの本が。

「この本を買った人はこんな本も買っています」を見ると、
# Eclipse Modeling Framework: A Developer's Guide (The Eclipse Series) Frank Budinsky (著), その他
# Contributing to Eclipse: Principles, Patterns, and Plug-Ins (Eclipse Series) Erich Gamma (著), Kent Beck (著)
# The Object Constraint Language: Getting Your Models Ready for Mda (Addison-Wesley Object Technology (Paperback)) Jos Warmer (著), Anneke Kleppe (著)
# Types and Programming Languages Benjamin C. Pierce (著)
# MDA モデル駆動アーキテクチャ David S.Frankel (著), 日本アイ・ビー・エム TEC-J MDA分科会 (翻訳)

だそうな。 SPINとEMF、OCL,MDAと、まあ見事に私の周りで言われているキーワードが続くわけだが、なぜだろうか。実は本買っているのみんな周りの人だったりして。