Sample Plain Text Requirements Specification: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m categorization |
imported>Mathieu m Robot: Changing Category:User Documentation |
||
| Line 26: | Line 26: | ||
The content of a requirement can consist of multiple lines | The content of a requirement can consist of multiple lines | ||
</code> | </code> | ||
[[Category:User | |||
[[Category:User documentation]] | |||
[[Category:Requirement Plugin]] | [[Category:Requirement Plugin]] | ||
[[Category:Tutorial|Requirement Plugin]] | [[Category:Tutorial|Requirement Plugin]] | ||
Latest revision as of 20:30, 10 September 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
