Translating Formal Software Specifications to Natural Language.
David A. BurkeKristofer JohannissonPublished in: LACL (2005)
Keyphrases
- written in natural language
- natural language
- formal language
- requirements specification
- formal specification
- reactive systems
- controlled natural language
- software systems
- natural language interface
- formal methods
- software development
- software engineering
- question answering
- software developers
- control flow
- requirements engineering
- software design
- machine learning
- formal descriptions
- commercial software
- user interface
- semantic analysis
- software maintenance
- source code
- formal semantics
- neural network
- natural language understanding
- natural language generation
- formal model
- development process
- software architecture
- formal languages
- software requirements
- high level
- uml models
- natural language processing
- knowledge representation