Difference between revisions of "Sample Plain Text Requirements Specification"
From Event-B
Jump to navigationJump to searchimported>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
