Sample Plain Text Requirements Specification: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jastram New page: 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. Requiremen... |
imported>Mathieu m categorization |
||
| Line 1: | Line 1: | ||
<code> | |||
Requirement: FUN-1 | Requirement: FUN-1 | ||
| Line 24: | Line 25: | ||
The content of a requirement can consist of multiple lines | The content of a requirement can consist of multiple lines | ||
</code> | |||
[[Category:User Documentation]] | |||
[[Category:Requirement Plugin]] | |||
[[Category:Tutorial|Requirement Plugin]] | |||
Revision as of 12:06, 5 August 2008
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
