Assisting Requirement Formalization by Means of Natural Language Translation. Fantechi, A., Gnesi, S., Ristori, G., Carenini, M., Vanocchi, M., & Moreschini, P. Formal Methods Syst. Des., 4(3):243–263, 1994.
Assisting Requirement Formalization by Means of Natural Language Translation [link]Paper  doi  bibtex   
@article{DBLP:journals/fmsd/FantechiGRCVM94,
  author       = {Alessandro Fantechi and
                  Stefania Gnesi and
                  Gioia Ristori and
                  Michele Carenini and
                  Massimo Vanocchi and
                  Paolo Moreschini},
  title        = {Assisting Requirement Formalization by Means of Natural Language Translation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {3},
  pages        = {243--263},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384048},
  doi          = {10.1007/BF01384048},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FantechiGRCVM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0