Keyphrases
- formal specification
- object oriented design
- model checking
- specification language
- specification languages
- english language
- process algebra
- formal methods
- concurrent systems
- natural language
- reverse engineering
- language learning
- cross language
- answer questions
- machine translation
- design methodology
- software components
- cross lingual
- temporal logic
- artificial intelligence
- formal specification language