[RTEMS Project] #3715: Add Requirements Engineering chapter to RTEMS Software Engineering Handbook

[RTEMS trac]

#3715: Add Requirements Engineering chapter to RTEMS Software Engineering Handbook
-----------------------------+------------------------------
 Reporter:  Sebastian Huber  |       Owner:  Sebastian Huber
     Type:  task             |      Status:  accepted
 Priority:  normal           |   Milestone:  6.1
Component:  doc              |     Version:  6
 Severity:  normal           |  Resolution:
 Keywords:  qualification    |  Blocked By:
 Blocking:  3703             |
-----------------------------+------------------------------

Comment (by Sebastian Huber <sebastian.huber@…>):

 In [changeset:"0213e8efab9dcc1f0feac1a16d48f9ee2b6e43da/rtems-docs"
 0213e8e/rtems-docs]:
 {{{
 #!CommitTicketReference repository="rtems-docs"
 revision="0213e8efab9dcc1f0feac1a16d48f9ee2b6e43da"
 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.
 }}}

--
Ticket URL: <http://devel.rtems.org/ticket/3715#comment:15>
RTEMS Project <http://www.rtems.org/>
RTEMS Project