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
