Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning

Yasuhiro Shigyo, Tetsuro Katayama. Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning. In 9th IEEE Global Conference on Consumer Electronics, GCCE 2020, Kobe, Japan, October 13-16, 2020. pages 292-296, IEEE, 2020. [doi]

@inproceedings{ShigyoK20,
  title = {Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning},
  author = {Yasuhiro Shigyo and Tetsuro Katayama},
  year = {2020},
  doi = {10.1109/GCCE50665.2020.9292047},
  url = {https://doi.org/10.1109/GCCE50665.2020.9292047},
  researchr = {https://researchr.org/publication/ShigyoK20},
  cites = {0},
  citedby = {0},
  pages = {292-296},
  booktitle = {9th IEEE Global Conference on Consumer Electronics, GCCE 2020, Kobe, Japan, October 13-16, 2020},
  publisher = {IEEE},
  isbn = {978-1-7281-9802-6},
}