Title :
The importance of formal specification in the design of hardware systems
Author :
Gwandu, B.A.L. ; Creasey, D.J.
Author_Institution :
Sch. of Electron. & Electr. Eng., Birmingham Univ., UK
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
Keywords :
electronic engineering computing; formal specification; buyer/user specification; designer/manufacturer specification; formal specification; hardware systems design; supplier/retailer specification;
Conference_Titel :
Structured Methods for Hardware Systems Design, IEE Colloquium on
Conference_Location :
London
