イイダ　シュウサク   IIDA Shusaku   飯田 周作    所属   専修大学  ネットワーク情報学部    職種   教授
言語種別	英語
発行・発表の年月	2005/11
形態種別	その他
標題	MDD and Formal Methods
執筆形態	単著
掲載誌名	Proceeding of International Workshop on Future Software Technology, Software Engineers Association