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.
Cite
CITATION STYLE
Blackledge, P. (1983). SPECIFICATION LANGUAGES. IEE Proceedings A: Physical Science. Measurement and Instrumentation. Management and Education. Reviews, 130(4 pt A), 185–189. https://doi.org/10.1049/ip-a-1.1983.0035
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
