Sample Plain Text Requirements Specification
From Event-B
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
