茨城工業高等専門学校電子情報工学科
茨城大学情報工学科
株式会社日立製作所
2010 年 27 巻 4 号 p. 4_228-4_233
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
本研究では,形式仕様言語Alloyを利用した実用的なメタモデルの検証方法を提案する.メタ階層の概念を利用して検証するモデルの範囲を部分化することで,実用的な時間で検証結果が得られるようにする.情報制御システム記述言語へ実際に適用し,記述言語のメタモデルの妥当性を検証することで,この方法が実用的な規模のメタモデルでも有効であることを示す.
すでにアカウントをお持ちの場合 サインインはこちら