状態遷移図

システムの状態とイベントによる状態間の遷移を図式化したもの。UMLのステートマシン図やMealy/Moore型の状態機械で表現される。組込みシステムの動作仕様記述に広く使用され、状態遷移表と組み合わせてテストケースの導出にも活用される。

システム要件を実現するために、ハードウェア、ソフトウェア、ネットワーク、データベースなどの構成要素と、それらの関係・インタフェースを決定する設計工程。要件定義とソフトウェア詳細設計の間に位置づけられる。

ソフトウェアシステムの全体構造を定義するもの。構成要素（コンポーネント）、それらの関係、外部環境とのインタフェース、設計・進化の原則を含む。品質特性のトレードオフを考慮して決定する。

ソフトウェアを独立性の高いモジュール（部品）に分割する設計技法。モジュール強度（凝集度）を高く、モジュール結合度を低くすることが設計原則。STS分割、TR分割、共通機能分割などの技法がある。

データベースの概念設計で用いるモデリング手法。実体（エンティティ）、関連（リレーションシップ）、属性（アトリビュート）の3要素でデータ構造を図式化する。論理設計のテーブル定義の基礎となる。

リレーショナルデータベースの論理設計において、データの冗長性を排除し整合性を保つためにテーブル構造を整理する手法。第1正規形から第3正規形、さらにボイスコッド正規形などがある。更新時異常の防止が目的。

業務で扱うデータの構造、関係、制約を体系的に定義するプロセス。概念データモデル、論理データモデル、物理データモデルの3段階で詳細化し、データベース設計の基礎とする。