English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

This document provides an introduction to the SRI Hierarchical Development Methodology (HDM). The methodology employs a staged decomposition of the development process, which separates design, data representation, and implementation. For any given system development, HDM employs a hierarchical decomposition of the design and formal specifications of modules and their interconnections. Extensive tools are used throughout the development to check the appropriateness of the design and its implementation. The role of HDM in developing secure systems is considered, and various current efforts using HDM to develop such systems are summarized. The use of the methodology is illustrated by a simple but complete example. A somewhat larger example of part of a secure data management system is also discussed. Verification is not considered in this document, although HDM does facilitate verification. The consistency of formal specifications and their formal requirements can be formally shown, as can the consistency of programs with their specifications.

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