PMAN - Paper management system

Frequent tags in this search:

4 publications are found. : URL for this page. : HTML

Academic Journal

[1] Ryotaro TAKEUCHI, Hideto KASUYA, Hirotaka OHKUBO, Shinichiro YAMAMOTO, "モデル検査における妥当性確認を目的とした並行システムの表現手法," コンピュータソフトウェア, volume 28, number 1, pages 293-299 2011. [desc]

Domestic Conference

[1] Ryotaro TAKEUCHI, Hideto KASUYA, Hirotaka OHKUBO, Shinichiro YAMAMOTO, "モデル検査における妥当性確認を目的とした並行システムの表現手法," ソフトウェア工学の基礎XVI, volume 35, pages 119-130 November 2009. [70.pdf]

Workshop

[1] Ryotaro Takeuchi, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "空欄補充問題の自動生成によるHaskellプログラミング学習支援環境," 情報処理学会研究報告, volume 2011-SE-171, number 15 , March 2011. [desc]

修士論文

[1] Ryotaro TAKEUCHI, "空欄補充問題の自動生成によるHaskellプログラミング学習支援環境," Master thesis, 愛知県立大学大学院, 2010.