DocumentCode
925369
Title
Specification languages
Author
Blackledge, Peter
Volume
130
Issue
4
fYear
1983
fDate
6/1/1983 12:00:00 AM
Firstpage
185
Lastpage
189
Abstract
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.
Keywords
design engineering; project engineering; classification scheme; computer industries; design engineering; electronics industries; project engineering; specification language;
fLanguage
English
Journal_Title
Physical Science, Measurement and Instrumentation, Management and Education - Reviews, IEE Proceedings A
Publisher
iet
ISSN
0143-702X
Type
jour
DOI
10.1049/ip-a-1.1983.0035
Filename
4645760
Link To Document