スポンサーリンク
東京工業大学・大学院情報理工学研究科・計算工学専攻 | 論文
- LMC : ポイントカット・アドバイスモデルの計算
- 4K-3 アスペクト指向的振舞インターフェース記述言語Moxaによるスケーラブルな仕様記述(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて
- 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- 安全に結合可能なmixinを提供するためのルール
- ロード時バイナリ変換によるセキュリティ強制方式
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- 特集「ソフトウェアシステム」の編集にあたって
- 特集「ソフトウェアシステム」の編集にあたって(ソフトウェアシステム)
- 自己反映計算の振舞的側面の形式化について
- アスペクト指向言語における操作の抽象化方式
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- プログラム変換を用いたポインタ操作プログラムの検証にむけて--Morrisの二分木走査アルゴリズムによるケーススタディ (ソフトウェアサイエンス)
- 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証
- 証明支援系Coqのプログラムに対する対話的修正機構の提案
- プログラム変換を用いたポインタ操作プログラムの検証にむけて : Morrisの二分木走査アルゴリズムによるケーススタディ