Developing formal specifications from informal requirements

@article{Johnson1993DevelopingFS,
  title={Developing formal specifications from informal requirements},
  author={W. Lewis Johnson and Kevin Benner and David R. Harris},
  journal={IEEE Expert},
  year={1993},
  volume={8},
  pages={82-90}
}
The Aries environment, which solves many of the challenges of applying knowledge-based methods to the development of software requirements and specifications, is described. Using Aries, analysts can develop detailed, precise, validated system specifications without getting bogged down in mundane details. They can also avoid considerable formal syntax and… CONTINUE READING