Keyphrases
- formal specification language
- functional requirements
- machine learning
- formal specification
- real world
- written in natural language
- delay insensitive
- specification language
- high level
- e learning
- data mining
- data sets
- formal methods
- genetic algorithm
- control flow
- composite services
- web services composition
- concurrent systems
- information retrieval