DocumentCode
3077870
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
fYear
1988
fDate
9-13 Oct 1988
Firstpage
160
Lastpage
165
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Languages, 1988. Proceedings., International Conference on
Conference_Location
Miami Beach, FL
Print_ISBN
0-8186-0874-9
Type
conf
DOI
10.1109/ICCL.1988.13055
Filename
13055
Link To Document