SysMLモデルの検証についての考察(検証/セキュリティ)
スポンサーリンク
概要
- 論文の詳細を見る
開発プロセスの早い段階で成果物の誤りを発見し,開発コストを削減するための手法として,成果物をフォーマルなモデルとして記述し,そのモデル自身を検証することが有効であると考えられる.様々なタイプのハードウェアやソフトウェアが複合的に組み合わされたシステムのモデリングを目的とした図形的言語であるSysMLを用いて記述されたモデルの検証について,SysMLモデルの持ついくつかの特徴的な側面に着目して見出された検証項目について述べ,それに基づく検証の実現方法について議論する.
- 2007-11-02
著者
関連論文
- SysMLモデルの検証についての考察(検証/セキュリティ)
- 3T-9 多種端末向けWebアプリケーション・フレームワークDharmaのHTML変形プロクシー・サーバーへの適用の試み
- 4V-9 DOMインターフェースに基づくSGMLパーザー
- Dharma さまざまなインターネット端末にコンテンツを適応させるソフトウェア技術
- 多種端末向けWebアプリケーション構築システム : Dharma : ビューオブジェクト生成とHTML生成機構
- 多種端末向けWebアプリケーション構築システム : Dharma : システム概要とアプリケーションオブジェクト
- JSIAIワークステーション(9) : 知識表現言語SPOOLとそのプログラミング環境
- 階層構造を持つデータの入力システムのためのアプリケーション・ビルダーの試作
- 協調型スケジューリング・システムにおけるヒューリスティック・ルールの役割について
- バックトラッキング機構を持ったプロダクション・システム言語
- 2A2-C09 SysMLを用いたロボットシステムのモデルベース設計に関する研究 : 屋外用自立移動ロボットへの適用
- 2122 SysMLによる製品システムモデルの検証ツール(OS6-1 モデル駆動型の製品システム開発,OS6 モデル駆動型の製品システム開発)