1 0 0 0 OA Alloy : 自動解析可能なモデル規範形式仕様言語
- 著者
- 中島 震 鵜林 尚靖
- 出版者
- 日本ソフトウェア科学会
- 雑誌
- コンピュータ ソフトウェア (ISSN:02896540)
- 巻号頁・発行日
- vol.26, no.3, pp.3_78-3_83, 2009-07-28 (Released:2009-10-05)
言及状況
外部データベース (DOI)
Twitter (1 users, 1 posts, 0 favorites)
Alloy 処理系の処理の概要(4. 2 解析の方法)を読んだ。この方法をそのまま採用は出来ないが、参考にはなりそうだ：
Alloy:自動解析可能なモデル規範形式仕様言語
https://t.co/bOsDrUPgyj