1. Definition 2. Functional Requirements 3. Syntax 4. Semantics

1. Definition

2. Functional Requirements

3. Syntax

4. Semantics