Formalizing Requirements Systematically

Anthony Finkelstein, Colin Potts. Formalizing Requirements Systematically. In Roland Wagner, Roland Traunmüller, Heinrich C. Mayr, editors, Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, Fachtagung EMISA, Linz, 2. und 3. Juli 1987, Proceedings. Volume 143 of Informatik-Fachberichte, pages 44-57, Springer, 1987.

@inproceedings{FinkelsteinP87,
  title = {Formalizing Requirements Systematically},
  author = {Anthony Finkelstein and Colin Potts},
  year = {1987},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/FinkelsteinP87},
  cites = {0},
  citedby = {0},
  pages = {44-57},
  booktitle = {Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, Fachtagung EMISA, Linz, 2. und 3. Juli 1987, Proceedings},
  editor = {Roland Wagner and Roland Traunmüller and Heinrich C. Mayr},
  volume = {143},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-18052-4},
}