Informal and Formal Requirements Specification Languages: Bridging the Gap

@article{Fraser1991InformalAF,
  title={Informal and Formal Requirements Specification Languages: Bridging the Gap},
  author={M. Fraser and K. Kumar and V. Vaishnavi},
  journal={IEEE Trans. Software Eng.},
  year={1991},
  volume={17},
  pages={454-466}
}
  • M. Fraser, K. Kumar, V. Vaishnavi
  • Published 1991
  • Computer Science
  • IEEE Trans. Software Eng.
  • The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. [...] Key Method 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.Expand Abstract
    A Formal Definition of FRSM and Applications
    5

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 15 REFERENCES
    Integrating formal methods into the development process
    64
    Conceptual Modeling in the Context of Development
    31
    Experiences using VDM in STC , ” in Lecture Notes in Computer Science
    • 1990
    Integrating formal methods into the development process
    64
    Conceptual Modeling in the Context of Development
    31
    An Introduction To Formal MethodF Of Software Development
    • 1988