Title :
Specification languages
Author :
Blackledge, Peter
fDate :
6/1/1983 12:00:00 AM
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;
Journal_Title :
Physical Science, Measurement and Instrumentation, Management and Education - Reviews, IEE Proceedings A
DOI :
10.1049/ip-a-1.1983.0035
