小堀 研一 | 大阪工業大学大学院情報科学研究科
スポンサーリンク
概要
大阪工業大学大学院情報科学研究科 | 論文
- PD-07 相互通信可能なドラフタ型フォースディスプレイに関する研究(一般発表(ポスター&デモ),第37回日本バイオフィードバック学術総会抄録集)
- メタデザインに基づいたWebアプリケーション開発プラットフォームの提案(Webアプリケーション(学生セッション))
- B-017 データモデルとUIの相互変換を用いたウェブサービス開発環境「SoS」(ソフトウェア,一般論文)
- 4L-3 モデル検査の振舞駆動開発への応用(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 形式的検証用モデル自動生成機能を持つ上流工程支援システムの開発(形式手法(2)(学生セッション))