While most traditional word embedding methods target generic tasks, two task-specific dependency-based are proposed for better performance in text classification tasks this work. First, we exploit the dependency parsing tree structure to capture structural information of a sentence, and develop method called (DWE). It finds keywords neighbor words as contexts via parsing. Next, leverage word-cl...

Formal methods use abstraction and rigorously verified refinement to manage the design of complex systems, ensuring that they satisfy important invariant properties. However, formal verification is not sufficient: models must also be tested ensure behave according informal requirements validated by domain experts who may expert in modelling. This can satisfied scenarios complement specification...