佐藤 文明 | 三菱電機(株)情報電子研究所
スポンサーリンク
概要
関連著者
-
佐藤 文明
三菱電機(株)情報電子研究所
-
佐藤 文明
静岡大学情報学部
-
水野 忠則
三菱電機(株)
-
水野 忠則
三菱電機(株)情報電子研究所
-
勝山 光太郎
三菱電機(株)情報技術総合研究所
-
中川路 哲男
三菱電機(株)
-
田中 功一
三菱電機株式会社情報技術総合研究所
-
田中 功一
三菱電機(株) 情報電子研究所
-
田中 功一
三菱電機(株)情報電子研究所
-
福岡 久雄
松江工業高等専門学校情報工学科
-
中川路 哲男
三菱電機(株) 情報技術総合研究所
-
小塚 宏
三菱電機(株)情報技術総合研究所
-
宮崎 一哉
三菱電機株式会社情報技術総合研究所
-
宮崎 一哉
三菱電機株式会社情報技術総合研究所情報セキュリティ技術部
-
宮崎 一哉
三菱電機(株)
-
福岡 久雄
三菱電機(株)情報技術総合研究所
-
小塚 宏
三菱電機株式会社情報技術総合研究所ネットワークコンピューティング部
-
福岡 久雄
三菱電機(株) 情報電子研究所
-
宗森 純
鹿児島大学工学部情報工学科
-
勝山 光太郎
三菱電機(株)情報電子研究所
-
谷林 陽一
三菱電機(株)情報技術総合研究所
-
今井 功
三菱電機(株)情報技術総合研究所
-
今井 功
三菱電機株式会社 情報技術総合研究所
-
谷林 陽一
三菱電機情報システム製作所
-
宗森 純
三菱電機(株) 情報電子研究所
-
辻 宏郷
三菱電機(株)情報システム研究所
-
辻 宏郷
三菱電機(株)情報電子研究所
-
曽我 正和
三菱電機(株)情報電子研究所
-
曽我 正和
Department Of Computer Science Faculty Ofcomputer Works Mitsubishi Electric Corpora-information &
-
辻 宏郷
静岡大学大学院理工学研究科|三菱電機株式会社情報技術総合研究所
-
曽我 正和
静岡大学情報学部情報科学科
-
宗森 純
鹿児島大学
-
長田 純
三菱電機(株)情報電子研究所
-
斎藤 正史
三菱電機(株)情報技術総合研究所
-
岡村 耕二
三菱電機(株)情報電子研究所
-
斎藤 正史
三菱電機(株)情報システム研究所
-
勝山 光太郎
三菱電機 (株)情報電子研究所
-
前山 光太郎
三菱電機(株)情報電子研究所
著作論文
- 通信システムの段階的な試験のための試験系列自動生成手法とその実現
- SDLプログラマの提案
- 試験仕様記述へのSDLの適用性について
- 状態遷移モデルから通信ソフトウェアへの写像方法についての一考察
- 形式手法による通信ソフトウェア試験データの生成とその試験法
- SDLに基づく通信ソフトウェア開発環境
- リソース指向分散環境 RODS の提案と実現
- リソース指向分散処理環境の実装及び評価
- 分散処理環境におけるオブジェクト実現方式
- 適用形態を考慮した分散処理システムのモデル化
- 自律協調分散システム開発環境 : 協調作業支援への適用
- 自律協調分散システム開発環境Noahの通信機構
- 自律協調分散システムNoahにおける協調機構
- 自律協調分散システムNoahの通信機構の実現
- 自律協調分散システムNoahにおけるエージェントの制御機構
- 小規模システムにおけるメッセージ通信
- 同一機種分散システムにおける負荷分散方式
- 試験仕様記述用言語TTCNの特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- 有限オ-トマトンに基づくシステムの試験系列自動生成手法の提案--単一遷移検査系列法
- SDLプログラマの改良項目の検討
- 通信プロトコル試験系列生成手法に関する一考察
- マルチパーティテスタの設計
- 図式言語定義法の一検討
- 国際標準形式記述技法に基づく体系的試験支援環境FORESTの提案と実現
- 仕様記述言語LOTOSの図式表現
- 通信システム試験系列生成手法と仕様の特性に関する一考察
- 通信プロトコルに対する段階的な試験系列の生成方法
- 通信ソフトウェア向けオブジェクト指向言語superC