山田 聖 | 産業技術総合研究所・情報セキュリティ研究センター
スポンサーリンク
概要
関連著者
-
山田 聖
産業技術総合研究所・情報セキュリティ研究センター
-
渡部 卓雄
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
渡部 卓雄
東京工業大学大学院情報理工学研究科計算工学専攻
-
渡部 卓雄
東京工業大学
-
山田 聖
北陸先端科学技術大学院大学情報科学研究科
-
橋本 康範
東京工業大学・大学院情報理工学研究科・計算工学専攻
-
永藤 直行
東京工業大学情報理工学研究科計算工学専攻
-
永藤 直行
東京工業大学大学院情報理工学研究科計算工学専攻
著作論文
- 4K-3 アスペクト指向的振舞インターフェース記述言語Moxaによるスケーラブルな仕様記述(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて
- 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- ロード時バイナリ変換によるセキュリティ強制方式
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式