Title :
Specification languages-assessment and trends
Author :
Chang, Carl K. ; Brackett, J.W. ; Davis, A.M. ; Hsia, P.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL
Abstract :
The following topics are covered: perception of formal specification languages as hindering, rather than enhancing effective communication among customers, end users, requirements analysts and software developers; past prospects and trends; verification and validation, notation, and consistency; and current status of specification languages in Japan
Keywords :
formal specification; human factors; specification languages; technological forecasting; Japan; consistency; current status; customers; end users; formal specification languages; notation; requirements analysts; software developers; trends; validation; verification; Application software; Computer applications; Computer science; Formal specifications; Reliability theory; Software design; Specification languages; Taxonomy; Testing;
Conference_Titel :
Computer Languages, 1988. Proceedings., International Conference on
Conference_Location :
Miami Beach, FL
Print_ISBN :
0-8186-0874-9
DOI :
10.1109/ICCL.1988.13055
