Sebastian Huber
0c13e946d0
eng: Fix typo
...
Update #3715 .
2020-07-03 10:33:30 +02:00
Sebastian Huber
1bd14cda60
eng: Reformat to maximize the text width
...
Remove extra "X" character in some labels.
Update #3715 .
2020-07-03 10:33:25 +02:00
Sebastian Huber
87a9478da6
eng: Clarify action requirement specification
...
Update #3715 .
2020-06-17 09:10:52 +02:00
Sebastian Huber
db3892b5b8
eng: Update action requirement specification
...
Update #3715 .
2020-06-10 10:12:00 +02:00
Sebastian Huber
ca2f5e6384
eng: Update specification how-to section
...
Update #3715 .
2020-06-08 08:53:02 +02:00
Sebastian Huber
0213e8efab
eng: Add a specification type for actions
...
Add support to specify functional requirements for actions (functions or
macros) via a transition map of pre-conditions to post-conditions. This
will be the work horse for functional requirements. Generation of
corresponding validation tests is supported.
Update #3715 .
2020-06-08 08:52:50 +02:00
Sebastian Huber
0c43c520c8
eng: Add generic attribute key types
...
Update #3715 .
2020-06-04 15:06:12 +02:00
Sebastian Huber
f54798854f
eng: Simplify wording for specification items
...
Update #3715 .
2020-06-04 15:06:12 +02:00
Sebastian Huber
9b269adc6c
eng: Add interface specification how-to
...
Update #3715 .
2020-06-01 13:00:41 +02:00
Sebastian Huber
459326c2b9
eng: Update requirements tooling section
...
Update #3715 .
2020-05-29 17:47:21 +02:00
Sebastian Huber
23ab40d3e6
eng: Add generated documentation of spec items
...
The documentation of the specification items is generated by an RTEMS
qualification tool from a specification of specification items.
Move non-generated content to "req-for-req.rst".
Update #3715 .
2020-05-29 08:21:03 +02:00
Sebastian Huber
59312aa965
eng: Split up requirements engineering chapter
...
This allows to more easily generate the specification item section with
a script using specification items.
Update #3715 .
2020-05-29 07:14:53 +02:00
