Difference between revisions of "Sample Plain Text Requirements Specification"

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 (Robot: Changing Category:User Documentation)
 
(One intermediate revision by the same user not shown)
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]]

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