Issue No. 05 - May (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.90448
<p>The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal and formal languages, respectively, two approaches are presented for integrating the two. The first approach uses the SA model of a system to guide the analyst's understanding of the system and the development of the VDM specifications. The second approach proposes a rule-based method for generating VDM specifications from a set of corresponding SA specifications. The two approaches are illustrated through a simplified payroll system case. The issues that emerge from the use of the two approaches are reported.</p>
informal languages; requirements specification languages; structured analysis; Vienna development method; VDM; formal languages; rule-based method; payroll system; formal languages; formal specification; payroll data processing; specification languages; systems analysis
M. Fraser, K. Kumar and V. Vaishnavi, "Informal and Formal Requirements Specification Languages: Bridging the Gap," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 454-466, 1991.