ソフトウェアのモデリング手法
ソフトウェアのモデリング手法
このスキルを必要とする業務
このスキルの関連項目
このスキルのために必要な知識
CASEツール
MBD(Model-Based Development)
MBSE(Model-Based Systems Engineering)
MDD(Model-Driven Development)
SysML
UML
アサーション(表明)
アジャイル開発
アナリシスパターン(プロブレムフレーム、仕様の再利用など)
ウォータフォール
エンタープライズシステムのモデリング(ビジネスプロセス、組織、ゴールなど)
サポートする表記法(データフロー図、状態推移図、BPMN、IDEF0、ペトリネット、UMLアクティビティ図)
スプレットシート
ツール統合技法
デ―タモデリング技法の活用と実践
ドメインのモデリング(ドメインエンジニアリング・アプローチなど)
トレーサビリティ
パフォーマンスモデリング技法の活用と実践
プロセスモデリング技法の活用と実践
プロトタイピング技法の活用と実践
ベンチマーキング技法の活用と実践
まとまりの分析(完全性、一貫性、ロバスト性など)
モデリングツール
モデリングの原則(分解、抽象化、汎化、投影/ビュー、明快性、形式的アプローチの利用など)
モデリング言語の性質
モデルの記述と意味(モデルの表現の理解)
モデルベース・システム開発(MBSD)
モデル化の技法
モデル駆動開発(MDD)
モデル検査
ライフサイクルモデル
レビューとインスペクション
一貫性の分析
機能のモデリング(コンポーネント図など)
形式検証の技法
形式手法
構造のモデリング(アーキテクチャなど)
構造化チャート(PAD)
試行錯誤法(ヒューリスティック法)
事前条件、事後条件、不変表明
受け入れテストの設計
情報モデリング
情報やデータのモデリング(ERD、クラス図など)
振る舞いのモデリング(構造化分析、状態遷移図、ユースケース分析、インタラクション図、FMEA、FTAなど)
進化型(evolutional)プロトタイピング
数理モデルと仕様記述言語(ZやVDM)の紹介
正当性の分析(静的解析、シミュレーション、モデルチェッキングなど)
組込みシステムのモデリング(リアルタイムスケジュール分析、外部インタフェース分析など)
相互作用の分析
追跡可能性
定理証明
品質特性(非機能特性)の分析(安全性、セキュリティ、性能、根本原因分析など)
品質特性の評価
不変条件
明快性(前提が全くない場合、全ての前提を記述する場合)
網羅性の分析
優先順位付け、トレードオフ分析、要求のためのリスク分析および影響解析
要求の評価のためのプロトタイピング(累積型プロトタイピング)
要求マネージメントツール
要求競合のための分析(機能競合、品質の家、ビューポイント分析など)
離散系のモデル化技法
連続系のモデル化技法
MBD(Model-Based Development)
MBSE(Model-Based Systems Engineering)
MDD(Model-Driven Development)
SysML
UML
アサーション(表明)
アジャイル開発
アナリシスパターン(プロブレムフレーム、仕様の再利用など)
ウォータフォール
エンタープライズシステムのモデリング(ビジネスプロセス、組織、ゴールなど)
サポートする表記法(データフロー図、状態推移図、BPMN、IDEF0、ペトリネット、UMLアクティビティ図)
スプレットシート
ツール統合技法
デ―タモデリング技法の活用と実践
ドメインのモデリング(ドメインエンジニアリング・アプローチなど)
トレーサビリティ
パフォーマンスモデリング技法の活用と実践
プロセスモデリング技法の活用と実践
プロトタイピング技法の活用と実践
ベンチマーキング技法の活用と実践
まとまりの分析(完全性、一貫性、ロバスト性など)
モデリングツール
モデリングの原則(分解、抽象化、汎化、投影/ビュー、明快性、形式的アプローチの利用など)
モデリング言語の性質
モデルの記述と意味(モデルの表現の理解)
モデルベース・システム開発(MBSD)
モデル化の技法
モデル駆動開発(MDD)
モデル検査
ライフサイクルモデル
レビューとインスペクション
一貫性の分析
機能のモデリング(コンポーネント図など)
形式検証の技法
形式手法
構造のモデリング(アーキテクチャなど)
構造化チャート(PAD)
試行錯誤法(ヒューリスティック法)
事前条件、事後条件、不変表明
受け入れテストの設計
情報モデリング
情報やデータのモデリング(ERD、クラス図など)
振る舞いのモデリング(構造化分析、状態遷移図、ユースケース分析、インタラクション図、FMEA、FTAなど)
進化型(evolutional)プロトタイピング
数理モデルと仕様記述言語(ZやVDM)の紹介
正当性の分析(静的解析、シミュレーション、モデルチェッキングなど)
組込みシステムのモデリング(リアルタイムスケジュール分析、外部インタフェース分析など)
相互作用の分析
追跡可能性
定理証明
品質特性(非機能特性)の分析(安全性、セキュリティ、性能、根本原因分析など)
品質特性の評価
不変条件
明快性(前提が全くない場合、全ての前提を記述する場合)
網羅性の分析
優先順位付け、トレードオフ分析、要求のためのリスク分析および影響解析
要求の評価のためのプロトタイピング(累積型プロトタイピング)
要求マネージメントツール
要求競合のための分析(機能競合、品質の家、ビューポイント分析など)
離散系のモデル化技法
連続系のモデル化技法