The Integration of Structured and Formal Methods

Abstract

A growing emphasis is being put on a formal, in the sense of mathematically rigorous, approach to the development of software-based systems. However, current formal 'methods' tend to be just notations. This memorandum looks at several structured methods and considers the possibilities each offers for integration with a formal notation to produce a usable formal method combining the best of both formal and structured approaches. Proposals for further work are discussed. Great Britain.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1989
Accession Number
ADA213418

Entities

People

  • G. P. Randell

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Acquisition
  • Ambiguity
  • Computer Programming
  • Computer Science
  • Computers
  • Consistency
  • Construction
  • Engineering
  • Mathematics
  • Models
  • Project Management
  • Software Development
  • Specifications
  • Systems Analysis
  • Systems Approach
  • Systems Engineering
  • Translations

Fields of Study

  • Computer science

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Theoretical Analysis.