Specification languages
Peter Blackledge · IEE Proceedings A Physical Science Measurement and Instrumentation Management and Education Reviews · 1983
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.