Proposal of an Algorithm to Generate VDM++ by Using Words Extracted from the Natural Language Specification