牧寺 彩 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
岡野 浩三
岡山大学大学院自然科学研究科
-
岡野 浩三
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学大学院情報科学研究科
-
牧寺 彩
大阪大学大学院情報科学研究科
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
谷口 健一
大阪大学基礎工学部情報工学科
-
長井 栄吾
大阪大学大学院情報科学研究科
-
長井 栄吾
大阪大学基礎工学部情報科学科
著作論文
- 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- D-3-6 分散実時間アプリケーションのUML/OCL記述から時間オートマトンネットワークを用いた動作仕様記述への変換手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
- 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
- D-3-8 分散環境における実時間アプリケーション動作仕様記述からのJavaコード自動導出手法の提案(D-3. ソフトウェアサイエンス)