ヨシダ ノリヒコ   NORIHIKO YOSHIDA
  吉田 紀彦
   所属   地球環境科学部 環境システム学科
   職種   教授
言語種別 日本語
発行・発表の年月 2008
形態種別 論文(その他)
標題 実行可能UMLにおけるアサーションベースの動的検証
執筆形態 共著
掲載誌名 情報処理学会/電子情報通信学会 情報科学技術フォーラム2008論文集
掲載区分国内
巻・号・頁 1,207-210頁
著者・共著者 菅井 雅仁, 松本 倫子, 吉田 紀彦