Informal and Formal Requirements Specification Languages: Bridging the Gap

  title={Informal and Formal Requirements Specification Languages: Bridging the Gap},
  author={Martin D. Fraser and Kuldeep Kumar and Vijay K. Vaishnavi},
  journal={IEEE Trans. Software Eng.},
AbstructThe differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is motivated and difeussed. Using Structured Analysis (SA) and the Vienna Development Method (VDM) as surrogates for informal and forma! langupges, kpectively, two approaches are presented for integrating the two. The first approach uses the SA model of a systkm to guide the analyst’s understanding of the system and the development of the VDM… CONTINUE READING
Highly Cited
This paper has 141 citations. REVIEW CITATIONS
77 Citations
14 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 77 extracted citations

142 Citations

Citations per Year
Semantic Scholar estimates that this publication has 142 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 14 references

Experiences using VDM in STC , ” in Lecture Notes in Computer Science

  • M. Mac an Airchinnigh
  • 1990

Information Systems Definition : The Multiview Approach . E . Yourdon , “ Whatever happened to structured analysis ?

  • C. W. Holsapple, A. B. Whinston, L. Antil, D. Avison
  • 1989

An Introduction To Formal MethodF Of Software Development

  • D. Andrews, P. Gibbins
  • 1988

A structured stepwise refinement method for VDM , ” in

  • R. A. Gagliano, K. Kumar, E. R. McLean, G. S. Owen, V. K. Vaishnavi
  • Proc . 8 th . Ann . Con $ Ada Technology…
  • 1987

Information analysis for information systems development , ” in Systems Analysis and Design : A Foundation for the 1980 ’ s ,

  • J. D. Cougar W. W. Cotterman, N. L. Enger
  • 1987

Current information system analysis and design approaches : Framework , overview , comments , and conclusions , ”

  • R. J. Welke
  • Structured Development for Real - Time Systems
  • 1985

Alternatives to overcome the communication problems of formal requirements analysis

  • P. Hsia, R. T. Yeh
  • 1980

Similar Papers

Loading similar papers…