長井 栄吾 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
岡野 浩三
大阪大学大学院情報科学研究科
-
長井 栄吾
大阪大学大学院情報科学研究科
-
岡野 浩三
岡山大学大学院自然科学研究科
-
谷口 健一
大阪大学大学院情報科学研究科
-
牧寺 彩
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
長井 栄吾
大阪大学基礎工学部情報科学科
-
谷口 健一
大阪大学基礎工学部情報工学科
-
楠本 真二
大阪大学大学院情報科学研究科
著作論文
- UML/OCLに記述された時間QoSの階層的検証手法の提案
- 確率的モデル検査ツールPRISMによるリアルタイム分散システムのネットワーク遅延を考慮した検証手法について
- 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- D-3-6 分散実時間アプリケーションのUML/OCL記述から時間オートマトンネットワークを用いた動作仕様記述への変換手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)