|SD 6-SW: SW Implementation|
|From||Product||to||Methods||Tool Req.||Ext. Norms|
|SD5-SW||accepted||All||SW Design (Module)
SW Design (Database)
|-||-||All||Implementation Document: Database||SD7-SW||submitted|
|-||-||All||Implementation Document: SW Modules|
+ "Chapter" are extra columns from the original printed version of GD 250
Figure 4.7: SD6 - SW Implementation
SW Modules and Databases of the SW Unit must be realized within the scope of this activity, and the procedures for the generation of the executables have to be written (compile, link, generation procedure, etc.). The code is subject to self-assessment by the developer.
|SW Developer||responsible (SD6.1-SW, SD6.2-SW, SD6.3-SW)|
SD6.1 - Coding of SW Modules,
(2) Method PVER is to be applied in cases of special requirements to the correctness. A formal specification and a program that shall meet the specification are required for the application of PVER. Because of the great effort, the most critical program portions have to be selected for an application of PVER.
|GDPA Online Last Updated 01.Mar.2002 Updated by Webmaster Last Revised 01.Mar.2002 Revised by Webmaster|