Yasuhiro Shigyo

According to our database, Yasuhiro Shigyo authored at least 2 papers in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

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

Yasuhiro Shigyo, Tetsuro Katayama

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020