Proposal of a Method to Generate Classes and Instance Variable Definitions in VDM++ Specification by Using Machine Learning

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.