The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1991 vol.17)
pp: 454-466
ABSTRACT
<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>
INDEX TERMS
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
CITATION
M.D. Fraser, K. Kumar, V.K. Vaishnavi, "Informal and Formal Requirements Specification Languages: Bridging the Gap", IEEE Transactions on Software Engineering, vol.17, no. 5, pp. 454-466, May 1991, doi:10.1109/32.90448
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool