top - download
⟦26f4cec92⟧ Wang Wps File
Length: 499 (0x1f3)
Types: Wang Wps File
Notes: Spelunked
Names: »~ORPHAN04.09«
Derivation
└─⟦84647c47a⟧ Bits:30005817 8" Wang WCS floppy, CR 0014A
└─ ⟦this⟧ »~ORPHAN04.09«
WangText
3.7.1 V̲e̲r̲i̲f̲i̲a̲b̲l̲e̲ ̲D̲e̲s̲i̲g̲n̲
The structure of a software unit shall be chosen in
a way which makes verification as easy as possible.
Structures which cannot be verified must be avoidd.
3.7.2 D̲e̲f̲i̲n̲i̲t̲i̲o̲n̲ ̲o̲f̲ ̲V̲e̲r̲i̲f̲i̲c̲a̲t̲i̲o̲n̲
The activities (test, analysis, etc.) which are necessary
to verify a unit shall be defined as part of the design
activity,and the necessary test procedures shall be
part of the documentation which are produced
