Sample Plain Text Requirements Specification

From Event-B
Revision as of 20:30, 10 September 2008 by imported>Mathieu (Robot: Changing Category:User Documentation)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to 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