Constructing parser for industrial software specifications containing formal and natural language description.
Futoshi IwamaTaiga NakamuraHironori TakeuchiPublished in: ICSE (2012)
Keyphrases
- natural language
- written in natural language
- formal language
- requirements specification
- controlled natural language
- formal specification
- semantic representation
- formal languages
- natural language processing
- natural language interface
- high level
- software systems
- reactive systems
- machine learning
- semantic analysis
- control flow
- software tools
- software development
- formal representation
- formal methods
- user interface
- knowledge representation
- information extraction
- semantic interpretation
- computer systems
- software design
- dialogue system
- industrial applications
- software maintenance
- source code
- software requirements
- uml models
- software engineering
- question answering
- language processing
- conceptual graphs
- formal model
- development process