A Two-Dimensional View of Integrated Formal and Informal Specification Techniques

  title={A Two-Dimensional View of Integrated Formal and Informal Specification Techniques},
  author={Robert B. France and Mar{\'i}a M. Larrondo-Petrie},
It is often felt that the use of forma/~pecification techniques (FSTs) precludes the use of informal, structured specification techniques (ISTs). Research on integrated FSTs and ISTs (FISTs) has shown that tiffs is not necessarily the case, mad that the use of formal techniques can enhance the use of informal specification techniques and vice versa. In this paper we describe the applicability of FISTs to requirements engineering along two dimensions: proce~m support, and formal-informal… CONTINUE READING
15 Citations
5 References
Similar Papers


Publications referenced by this paper.
Showing 1-5 of 5 references

Process support for rigorous structured analysis

  • M. Larrondo-Petrie
  • Real . Time Systems
  • 1993

Integrated structured analysis ~ nd formal specification teclmiques

  • T. W. G. Docker
  • The Computer Journal
  • 1991

Integrating formal notations and system analysis: using entity relatiouship diagrnans

  • F. Polack
  • In Z User Workshop. SpxSnger-Vetlng,
  • 1991
1 Excerpt

Structured Systems Analysis: Tools and techniques

  • C. Gaze, T. Saxson
  • 1978
1 Excerpt

Similar Papers

Loading similar papers…