Sample Plain Text Requirements Specification

From Event-B
Jump to: navigation, search

Requirement: FUN-1

A plain text specification consists of lines of text.

Requirement: FUN-2

A new requirement starts when the label "Requirement: "
is encountered.

Requirement: FUN-3

The label is followed by the id of the requirement.

Requirement: FUN-4

Requirement IDs consist of a label and a numeric identifier,
seperated by a hyphen.

Requirement: FUN-5

Requirement IDs must be unique within the document.

Requirement: FUN-6

The content of a requirement can consist of multiple lines