The SRI hierarchical development methodology (HDM) and its application to the development of secure software /

Item 247.

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /

Bibliography: p. 48.

Structured testing : a testing methodology using the cyclomatic complexity metric /

Mode of access: Internet.