Translating Formal Software Specifications to Natural Language.

David A. Burke Kristofer Johannisson

Published 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