1994•Unpublished venueRequires access

The importance of formal specification in the design of hardware systems

B.A.L. Gwandu, D.J. Creasey

Open publisher page 9 citations

Abstract

This paper discusses the rules or guidelines to follow when writing a system specification. These guidelines were derived from an investigation to evaluate how people understand a written specification. The specification can be written at three basic levels: (a) the designer/manufacturer specification, (b) the supplier/retailer specification, (c) the buyer/user specification. The rules relating to the writing of these specifications are discussed.

About this research paper

What this paper is about

This paper discusses the rules or guidelines to follow when writing a system specification. These guidelines were derived from an investigation to evaluate how people understand a written specification. The specification can be written at three basic levels: (a) the designer/manufacturer specification, (b) the supplier/retailer specification, (c) the buyer/user specification. The rules relating to the writing of these specifications are discussed.

Why it matters

OpenAlex reports 9 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

This paper discusses the rules or guidelines to follow when writing a system specification. These guidelines were derived from an investigation to evaluate how people understand a written specification. The specification can be written at three basic levels: (a) the designer/manufacturer specification, (b) the supplier/retailer specification, (c) the buyer/user specification. The rules relating to the writing of these specifications are discussed.

Key concepts: Formal specification, System requirements specification, Computer science, Language Of Temporal Ordering Specification, Software requirements specification, Specification language, Functional specification, Specification

Related papers

Back to paper searchBrowse research topicsOriginal source
The importance of formal specification in the design of hardware systems — Research Paper | ScholarLens