Bridging the Gap between Natural Language Requirements and Formal Specifications.
Martin BöschenRalf BoguschAnabel FragaChristian RudatPublished in: REFSQ Workshops (2016)
Keyphrases
- formal specification
- natural language
- specification language
- specification languages
- model checking
- object oriented design
- written in natural language
- reverse engineering
- natural language processing
- machine learning
- knowledge representation
- concurrent systems
- formal methods
- information extraction
- question answering
- case study
- design methodology
- object oriented databases
- distributed systems
- formal specification language