Knowledge Graph Construction for SOFL Formal Specifications.

Jiandong Li Shaoying Liu Ai Liu Runhe Huang

Published in: Int. J. Softw. Eng. Knowl. Eng. (2022)

Keyphrases

formal specification
graph construction
knowledge management
k nearest neighbor
model checking
semi supervised
graph based semi supervised learning
machine learning
support vector
learning process
prior knowledge
nearest neighbor