DocumentCode
288050
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
fYear
1994
fDate
1994
Firstpage
42614
Lastpage
42616
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;
fLanguage
English
Publisher
iet
Conference_Titel
Structured Methods for Hardware Systems Design, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
369628
Link To Document