状態位置決定手法による組込みソフトウェア仕様の状態遷移図生成方法
スポンサーリンク
概要
著者
-
小泉 寿男
東京電機大学情報システム工学科
-
小泉 寿男
東京電機大学
-
松井 聡一
三菱電機
-
大河原 繁
三菱電機
-
原島 忠雄
三菱電機
-
立花 幹生
三菱電機
-
小泉 寿男
東京電機大 大学院理工学研究科
関連論文
- 車車間通信による車両情報を用いたリアルタイム交通流計測システム(ITS)
- 車車間通信による車両情報を用いたリアルタイム交通流計測方式とその試作評価(セッション5:移動・位置依存システム)
- 協調学習における議論場と作業場間の連携支援方法とその実験評価
- 3ZA-3 車車間通信による車両情報を用いたリアルタイム交通流計測システム(ITSネットワーク・地図情報,学生セッション,ネットワーク)
- エージェントシステムにおける不正エージェント排除のセキュリティー方式(セッションA-3:攻撃検知,防御(1))
- リンクグループと車車間通信機搭載率を考慮した車車間通信によるリアルタイム交通流計測方式(セッション1)
- 位置情報を用いた集団協調作業支援エージェントシステム(セッション7:位置情報・ナビゲーション)
- 商品位置情報を活用したショッピング支援エージェントシステムの構築(セッション7:位置情報・ナビゲーション)
- 位置情報を用いた集団協調作業支援エージェントシステム
- 遠隔商品管理向けマルチエージェントシステムの構築(システム開発法)
- 遠隔商品管理向けマルチエージェントシステムの構築(セッション1 : システム開発法)
- 協調問題解決型マルチエージェントシステム構築基盤とその評価(協調支援モデル)
- 配送計画問題における再計画処理方式の提案
- 3ZF-4 モデル駆動開発とWebサービスの連携による情報システム開発(情報システムとアーキテクチャ,学生セッション,コンピュータと人間社会)
- モジュール間相互関連表示を活用した組込みソフトウェア再利用開発の共同見積り手法とその適用評価
- 仕様変更対応性を指向したビジネスプロセスモデリングによる情報システム構築法
- 3ZF-8 利用者の要請に即応した組込みシステムのリコンフィギャラブル方式の検討(情報システムとアーキテクチャ,学生セッション,コンピュータと人間社会)
- 4Q-1 モジュール間依存性のビジュアル表示を活用した組込みシステムのソフトウェア・ハードウェア再利用開発方式(再利用,保守,学生セッション,ソフトウェア科学・工学)
- 1N-1 組込みシステムのハードウェア・ソフトウェア再構成における機能変換機構の検討(組込みとセキュリティ,学生セッション,アーキテクチャ)
- Hardware/Software Co-design実験によるシステムアーキテクチャ設計学習プログラム(一般セッション2:モデル検査とコデザイン)
- SystemCを用いたハードウェア/ソフトウェア協調設計方式とその評価(一般セッション2:モデル検査とコデザイン)
- 組み込みシステムの再利用開発を支援するソフトウェア・ハードウェアモジュール群の相互依存性ビジュアル表示管理法(オペレーティングシステム・システムソフトウェア)
- ハードウェア/ソフトウェア協調設計を含む組込みソフトウェア技術基礎習得のための学生実験方式
- 歩行履歴情報を基にした歩行者ナビゲーションシステムの構築(セッション1:履歴,状況・行動推定I)
- 歩行履歴情報を基にした歩行者ナビゲーションシステムの構築(セッション1:履歴,状況・行動推定I)
- 車車間通信による車両情報を用いたリアルタイム交通流計測システム(ITS)
- ソフトウェア構成管理をベースとした再利用開発における開発規模・工数・費用見積り法(ソフトウェア評価/プロダクトライン)
- 組込みソフトウェアの再利用を支援するモジュール間相互関連表示法(ソースコード分析と可視化)
- 組込みソフトウェアの再利用を支援するモジュール間相互関連表示法(ソースコード分析と可視化)
- 組込みソフトウェア技術者育成のためのリアルタイムカーネル実装実習プログラムとその評価
- 顧客情報を活用した製品開発コラボレーション手法とその検証
- 組込みソフトウェア技術者育成のためのリアルタイムカーネル実装実習プログラムとその評価
- エージェントシステムにおける不正エージェント排除のセキュリティー方式(セッションA-3:攻撃検知,防御(1))
- 位置情報を用いた集団協調作業支援エージェントシステム(セッション7:位置情報・ナビゲーション)
- 商品位置情報を活用したショッピング支援エージェントシステムの構築(セッション7:位置情報・ナビゲーション)
- ビジネスプロセスモデリングと実行可能モデリングを連結させた情報システム開発手法とその試作評価
- 模擬ループセンサによる交通流のビデオ画像計測(第3セッション)
- 交通流ビデオ画像による時・空間速度計測方法の比較(ITS情報処理・一般)
- 交通流ビデオ画像による時・空間速度計測方法の比較
- 通行時間計測のための多点交通流測定データの融合
- 低速回線インターネットをベースとした遠隔協調学習法とその実験評価
- 共同作業を中心にした遠隔協調学習における支援とその実践評価(e-Learningにおける学習評価/一般)
- 教材のリアルタイム編集機能を持つ同期・非同期融合型遠隔教育支援システムとその実験評価
- K-019 教材内容と質問内容を整合させた質問・回答支援システムの構築(K分野:ヒューマンコミュニケーション&インタラクション)
- M-028 位置情報を用いた集団協調作業を支援するエージェントシステム(M分野:ユビキタス・マルチメディア・セキュリティ)
- L-086 複数集団間交渉を支援するエージェントシステムの構築(L分野:ネットワークコンピューティング)
- ITS画像処理開発・運転制御開発におけるハードウェア・ソフトウェア協調設計方式とその検証
- ITS画像処理開発・運転制御開発におけるハードウェア・ソフトウェア協調設計方式とその検証
- SIMD型並列計算機における高速処理方式
- 4ZH-3 オブジェクト指向を用いたゲームプログラミングの検討(ゲームAI,学生セッション,コンピュータと人間社会)
- 3ZG-5 教材作成による協調学習方式(eラーニング(1),学生セッション,コンピュータと人間社会)
- 1ZA-3 歩行履歴情報を基にした歩行者ナビゲーションシステムの構築(ナビゲーション,学生セッション,ネットワーク)
- Web上で創作物の公開・交流を支援するエージェントシステム(セッション6:協調の場,コミュニケーション)
- Web上で創作物の公開・交流を支援するエージェントシステム(セッション6:協調の場,コミュニケーション)
- 100名規模講義での遠隔協調学習における支援とその実践評価(オープンソースソフトウェアの教育利用/一般)
- 100名規模講義での遠隔協調学習における支援とその実践評価
- ビジネスプロセスモデリングを活用した情報システムの設計・構築(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する)
- ネットワーク上における無意識的認識を用いた集団形成支援(セッション1: コミュニティー支援・コミュニケーション支援)
- ネットワーク上における無意識的認識を用いた集団形成支援(セッション1: コミュニティー支援・コミュニケーション支援)
- 特集「マルチメディア, 分散, 協調とモバイル(DICOMO2004)」の編集にあたって(マルチメディア, 分散, 協調とモバイル(DICOMO2004))
- M-029 商品位置情報を活用したショッピング支援エージェントシステムの検討(M分野:ユビキタス・マルチメディア・セキュリティ)
- L-085 Webサイト閲覧者同士の相互認識方式(L分野:ネットワークコンピューティング)
- L-033 ネットワークにおける無意識的認識を用いた集団形成支援(L分野:ネットワークコンピューティング)
- 分散環境におけるPDMシステム構築手法の一提案
- 分散環境における設計データ管理ワークフローシステムの構築と実証
- 電子メールと電子会議を組み合わせたインターネット上のグループ意思決定方式とその検証
- 分散オブジェクト環境における探索型検索エージェント方式の提案と実証
- 分散環境における部品データベース検索エージェントの一構成方法(マルチメディア通信と分散処理)
- 車両情報量を考慮した車車間通信によるリアルタイム交通流計測方式(セッション1)
- 車車間通信によるリアルタイム交通流計測方式(ITSコア技術・ショーケース, 一般)
- 状態位置決定手法による組込みソフトウェア仕様の状態遷移図生成方法
- ビジネスプロセスモデリング・ワークフローエンジン・Webサービス連携による情報システム開発方式の提案(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する)
- リソース競合問題を考慮したジョブショップスケジューリング方式の提案とその実証
- ワークフローシステムの導入がもたらす業務プロセスの変化の分析
- リソース競合問題を考慮したジョブショップスケジューリング方式の提案とその実証
- ソフト分散開発に対する組織とプロジェクトの組み合わせ診断方式の提案
- ソフト分散開発に対する組織・プロジェクト二次元プロセスアセスメント方式の提案と実証評価
- 遠隔教育における協調学習支援システムの一提案
- エージェントを活用した再試行可能なスケジューリング方式
- 個人指導機能とレポート作成支援機能を持つ遠隔実験方式
- WWWとメールを使った遠隔教育とインターネット活用
- 日独間遠隔協同授業の実証実験
- SpecCを用いたハードウェア/ソフトウェア協調設計方式とITS安全運転支援システムによる評価(ITS情報処理・一般)
- SpecCを用いたハードウェア/ソフトウェア協調設計方式とITS安全運転支援システムによる評価(ITS情報処理・一般)
- ITS画像処理系・制御系開発におけるハードウェア・ソフトウェア協調設計方式(次世代移動通信ネットワークとその応用)
- ITS運転支援システムにおけるハードウェア・ソフトウェア協調設計方式とその検証方式(ITS情報処理・一般)
- ITS運転支援システムにおけるハードウェア・ソフトウェア協調設計方式とその検証方式
- 共同作業を中心とした遠隔協調学習の実験的検討(教育支援)
- 3ZF-5 Webアプリケーションの部品化によるWebサービス生成手法(情報システムとアーキテクチャ,学生セッション,コンピュータと人間社会)
- 3ZC-8 ビジネスプロセスモデリングとワークフローを連携させた情報システム開発の検討(グループ意思決定支援,学生セッション,インターフェース)
- ビジネスプロセスモデルを用いた情報システム構築法の試作と評価
- フロー記述言語による複数Webサービスの連携手法(システム開発法)
- フロー記述言語による複数Webサービスの連携手法(セッション1 : システム開発法)
- 教材のリアルタイム編集機能を持つ同期・非同期融合型遠隔教育支援システムの提案(セッション2:ネットワーク応用)
- 教材のリアルタイム編集機能を持つ同期・非同期融合型遠隔教育支援システムの提案
- 同期・非同期融合型遠隔教育におけるリアルタイム教材編集方式(セッション5:マルチメディアシステム(2))
- ミリ波を用いた将来の路車間通信システムの検討
- ミリ波を用いた将来の路車間通信システムの検討
- ミリ波を用いた次世代ITSのための路車間通信システムの検討
- ミリ波を用いた次世代ITSのための路車間通信システムの検討