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]

Authors

Yasuhiro Shigyo

This author has not been identified. Look up 'Yasuhiro Shigyo' in Google

Tetsuro Katayama

This author has not been identified. Look up 'Tetsuro Katayama' in Google