Kensuke Suga1, Tetsuro Katayama1, Yoshihiro Kita2, Hisaaki Yamaba1, Kentaro Aburada1, Naonobu Okazaki1
1Department of Computer Science and Systems Engineering, Faculty of Engineering,
University of Miyazaki, 1-1 Gakuen-kibanadai nishi, Miyazaki, 889-2192
Japan
2Department of Information Security, Faculty of Information Systems, Siebold
Campus, University of Nagasaki, 1-1-1 Manabino, Nagayo-cho, Nishi-Sonogi-gun,
Nagasaki, 851-2195 Japan
pp. 189-194
ABSTRACT
Writing VDM++ specifications is difficult. The existing method can automatically
generate only type and constant definitions in VDM++ specification from
natural language specification by using machine learning. This paper proposes
a method to generate classes and instance variable definitions in VDM++
specification from natural language specification to improve the usefulness
of the existing method. From the evaluation experiment by using F-values,
it has been confirmed that the proposed method can improve the usefulness
of the existing method.
ARTICLE INFO
Article History
Received 25 November 2021
Accepted 28 March 2022
Keywords
Natural language specification
Machine learning
VDM++ specification
Automatic generation
JAALR2405
Download article(PDF)