現在の位置
backup プラグインを使用中
- List of Backups
- View the source.
- 開発者・論文 has been deleted.
- 1 (2009-11-24 (Tue) 09:45:27)
- 2 (2009-11-24 (Tue) 12:32:23)
開発者 †
- 統合開発環境LMNtalEditor?開発者・研究者
- 綾野 貴之
- 早稲田大学院 基幹理工学研究科 情報理工学専攻 上田研究室
- 綾野 貴之
論文 †
- 統合開発環境によるLMNtalモデル検査
- 綾野貴之, 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀
- 第11回プログラミングおよびプログラミング言語ワークショップ論文集, pp. 1–15, 2009.
- 綾野貴之, 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀
- Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.
- Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa and Seiji Ogawa
- Sixth International Colloquium on Theoretical Aspects of Computing (ICTAC 2009), LNCS 5684, Springer, 2009, pp.349-355.
- Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa and Seiji Ogawa
発表 †
- 統合開発環境によるLMNtalモデル検査
- 綾野貴之, 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀
- 統合開発環境によるLMNtalモデル検査
- 綾野 貴之
ポスター・デモ発表 †
- LMNtalモデル検査の可視化環境
- 綾野貴之, 堀泰祐, 後町将人, 岩澤宏希, 小川誠司, 上田和紀