A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios.

Shenghua Zhu Shaoying Liu

Published in: SOFL+MSVL (2013)

Keyphrases

syntactic analysis
formal specification
semantic analysis
formal specification language
model checking
object oriented design
language processing
formal methods
protocol specification
feature extraction
natural language
word sense disambiguation
business rules
natural language text