Yasuhiro Shigyo

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Provably Correct

Machine Learning

Software Requirements

Natural Language

Top Venues

J. Robotics Netw. Artif. Life

Publications

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