Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning. - Yasuhiro Shigyo; Tetsuro Katayama (GCCE, 2020)

Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification. - Tetsuro Katayama; Yasuhiro Shigyo; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2020)