山田 聖 | 北陸先端科学技術大学院大学情報科学研究科

スポンサーリンク

概要

• 同名の論文著者
• 北陸先端科学技術大学院大学情報科学研究科の論文著者

関連著者

• 山田 聖

  産業技術総合研究所・情報セキュリティ研究センター

• 渡部 卓雄

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 山田 聖

  北陸先端科学技術大学院大学情報科学研究科

• 渡部 卓雄

  東京工業大学大学院情報理工学研究科計算工学専攻

• 渡部 卓雄

  東京工業大学

• 永藤 直行

  東京工業大学情報理工学研究科計算工学専攻

• 永藤 直行

  東京工業大学大学院情報理工学研究科計算工学専攻

著作論文

• 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
• 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
• ロード時バイナリ変換によるセキュリティ強制方式
• 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式

スポンサーリンク