FDTの並行動作表示における比較
スポンサーリンク
概要
- 論文の詳細を見る
これまで,仕様の不完全性や暖昧性の除去と自動検証の可能性並びにソースの自動生成の可能性からいくつかの形式的仕様記述技法(FDTs:Formal Description Tchniques)が提案されている.これらは実際に使用ざれ成果を挙げているものも多くある.加えて,これらの仕様記述技法についての比較評価を示した論文も発表されている.一方,昨今,マルチプロセッサシステムや分散システムの開発が頻繁に行われるようになり,システムの並行動作部の仕様化が重要となってきている.そこで,本論文では,代表的な形式的仕様記述技法における,並行動作の仕様化の立場から比較整理する.
- 社団法人電子情報通信学会の論文
- 1996-03-11
著者
関連論文
- 並列プログラムの動作評価に関する一検討
- 中間言語にペトリネットを用いたSDL仕様設計の一方式
- マルチエージェント協調プロトコルのコンカレントモデル
- マルチエージェント協調機構のペトリネットによるモデル化の一考察
- コンカレントシステムの仕様検証手法
- ソフトウェアメトリックスを導入するソフトウェア開発支援手法
- ソフトウェアメトリックスを利用する統合的開発支援環境の構築法
- ソフトウェアメトリックスを導入する通信ソフトウェア開発支援手法
- コンカレント工学の技術を利用するソフトウェアの計量化についての一考察
- ソフトウェア開発プラットフォ-ム--多様化する通信サ-ビスの実現をめざして (ネットワ-ク特集)
- 通信システムの要求充足問題のペトリネットによるモデル化について
- WWWを利用したソフトウェアの設計情報管理手法
- 通信ソフトウェアの開発支援のための検証
- FDTの並行動作表示における比較
- オブジェクト指向並行設計支援システム
- オブジェクト指向並行設計支援システム
- 模倣関係に基づくSDLダイナミックアナライザ
- OMTに基づくC++用クラス設計支援ツール
- C++言語用HCPチャ-トシステム (ソフトウェア生産)
- オブジェクト指向対応HCPチャートシステム
- 通信ソフトウェア設計支援システムにおけるSDLを用いたプロセス設計に関する一考察