A

activity

key concepts

artifact

key concepts

D

design mechanism

characteristics of

describing

mapping to implementation mechanisms examples

mapping to implementation mechanisms refining

F

flow of events

alternative flow

examples of

guidelines for

I

implementation mechanism

mapping from design mechanisms examples

mapping from design mechanisms refining

M

modeling conventions

defining

P

postcondition

guidelines for

precondition

guidelines for

U

use case

flow of events

scope of a use case