プロセス代数によるアーキテクチャ記述の容易化に関する研究
スポンサーリンク
概要
- 論文の詳細を見る
筆者はプロセス代数によるアーキテクチャ記述を改善するためのツール EasyADS を設計した.本ツールの目的は記述性を向上させることによって,アーキテクチャ記述者の負担を改善することと,ステークホルダが要求する情報に素早くたどり着くことを支援することである.本論文では,EasyADS の設計と,ツールを用いたアーキテクチャ記述容易化の手法について説明する.
- 2010-07-15
著者
関連論文
- 軽量形式手法を用いた車載電子システムの安全性分析に関する研究(形式手法(学生セッション))
- プロセス代数によるアーキテクチャ記述の容易化に関する研究
- ソフトウェアエンジニアリングシンポジウム2009開催報告
- 車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム
- 車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム