Specification languages-assessment and trends
Carl K. Chang, John W. Brackett, A.M. Davis, P.C. Grabon, Tsuneki Haizuka, Pei Hsia · 2003
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.>