Sign in
Comparing and Improving the Synthesis of State-Based Specifications from Scenario-Based Specifications.
Zhijian Wang
Wenrui Li
Pengcheng Zhang
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2012)
Keyphrases
</>
transition systems
delay insensitive
formal specification
finite state machines
concurrent systems
state space
written in natural language
case study
high level
natural language
control flow
model checking
real time
search algorithm
e learning
decision making
feature selection
data mining
real world