Specification languages
作者:
PeterBlackledge,
期刊:
IEE Proceedings A (Physical Science, Measurement and Instrumentation, Management and Education, Reviews)
(IET Available online 1983)
卷期:
Volume 130,
issue 4
页码: 185-189
年代: 1983
DOI:10.1049/ip-a-1.1983.0035
出版商: IEE
数据来源: IET
摘要:
The underspecification of complex systems is a problem which is costing the electronics and computer industries large amounts of money each year. Formal specification languages have been proposed as a way of improving the quality of specifications, but there are many candidate languages and few guidelines on how to select the most suitable one. The paper examines the aims of a specification language, and suggests a classification scheme which simplifies the selection process.
点击下载:
PDF
(590KB)
返 回