長谷川 晴朗 | 沖電気工業(株)政策調査部
スポンサーリンク
概要
関連著者
-
長谷川 晴朗
沖電気工業(株)政策調査部
-
長谷川 晴朗
沖電気工業
-
長谷川 晴朗
沖電気工業株式会社
-
長谷川 晴朗
沖電気工業(株)
-
中島 俊介
沖通信システム(株)
-
中島 俊介
沖通信システム株式会社技術推進部
-
長谷川 隆三
(財)新世代コンピュータ技術開発機構
-
福澤 俊幸
沖電気工業(株)
-
安藤 津芳
沖電気工業(株)
-
長谷川 晴朗
沖電気工業(株)ネットワークシステム開発センタ
-
長谷川 晴朗
沖電気工業(株)ソフトウェアセンタ
-
福澤 俊幸
沖電気工業株式会社通信ネットワーク事業本部
-
田口 毅
沖電気工業(株)
-
安藤 津芳
沖電気工業株式会社
-
熊谷 貞俊
大阪大学工学部電気工学科
-
村田 智洋
早稲田大学大学院 情報生産システム研究科
-
茂呂 征一郎
福井大学工学部
-
松本 忠
福井工業大学工学部
-
茂呂 征一郎
福井大学 工学部 電気電子工学科
-
松本 忠
福井大学工学部
-
村田 智洋
(株)日立製作所システム開発研究所
-
田中 亘
沖電気工業株式会社
-
田中 亘
沖電気工業
-
上田 佳寛
沖電気工業株式会社
-
菊地 奈穂美
沖電気工業(株)
-
菊地 奈穂美
沖電気工業株式会社
-
柴田 健次
Atr通信システム研究所
-
葭谷 努
沖通信システム(株)
-
繁田 好章
沖電気工業(株)
-
前田 賢一
沖電気工業(株)
-
加藤 尚玄
沖電気工業株式会社
-
鹿野 正太
沖電気工業(株)
-
上田 佳寛
Atr通信システム研究所
-
松本 忠
福井工業大学
-
Matsumoto T
Department Of Electrical And Electronics Engineering Fukui University
-
柴田 健次
沖電気工業(株)
-
湯山 さつき
沖電気工業(株)
-
長谷川 晴朗
沖電気工業株式会社統合デザインセンタソフトウェア開発支援部
-
鹿野 正太
沖電気工業株式会社
-
村田 智洋
(株)日立製作所 システム開発研究所
-
茂呂 征一郎
福井大学
-
繁田 好章
沖電気工業株式会社
-
茂呂 征一郎
福井大学工学部電気・電子工学科
著作論文
- SDLプロセスごとのペトリネット変換による仕様検証(コンカレントシステム, 一般)
- 次世代の産業社会におけるコンカレント技術
- GHCプログラムの検証と性能評価
- 制約論理型言語を用いたプランニングの記述
- 並列プログラムの動作評価に関する一検討
- 通信ソフトウェアのテストにおけるMSCで記述された要求仕様のペトリネットを利用した意味検証と充足検証の方法 (コンカレント・コラボレーション技術論文小特集)
- ペトリネットによる並列プログラムの動作解析に関する一考察
- 中間言語にペトリネットを用いたSDL仕様設計の一方式
- Coloured Petri Netsに基づいた通信サービス要求仕様化支援
- ABC/ABMによるソフトウェア品質保証業務のBPR
- ABC/ABMによるソフトウェア品質保証業務のBPR
- 通信システムにおける設計仕様の統合方式の一考察
- 通信システム開発における仕様記述法の現状と課題
- 通信ソフトウェア開発環境の現状と課題
- 通信ソフトウェアの開発環境
- 定理証明に基づくプロトコルの設計支援
- ぺトリネットによる変換 SDL 仕様の検証方式
- 8. 通信ソフトウェア要求仕様化設計へのペトリネットの応用 ( ネット指向パラダイムを求めて)
- PA-6-3 通信システム開発におけるコンカレント技術
- AP-2-3 製品開発プロセスにおけるコンカレント工学への期待(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- コンカレントシステムの仕様記述法について
- 通信ソフトウェア設計支援システムにおけるSDLを用いたプロセス設計に関する一考察