ネット上の開発情報は、えてして古かったり勘違いしていたりしていることも多いので、複数のソース元を当たらねばなりません。と思って、GEF*1 の正しい使い方を勉強するために、CodeZine と ObserveEclipse と書籍の「Eclipseプラグイン開発徹底攻略―Eclips…

「モデル検査のゲームシナリオへの適用」にて、モデル検査を実開発に適用するのための基本の基本の部分を説明し終わりましたので、実際に、説明用の超簡易スクリプト言語へ、説明したモデル検査手法を適用してみるサンプルプログラムを作ってみました。まず…