Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.
Wolfgang MüllerAlexander BolAlexander KruppOla LundkvistPublished in: DIPES/BICC (2010)
Keyphrases
- embedded real time systems
- natural language
- embedded systems
- real time systems
- petri net
- formal specification
- commercial software
- text generation
- written in natural language
- attribute grammars
- control flow
- software development
- real time
- resource usage
- high level
- component based development
- formal language
- database systems
- finite state machines
- controlled natural language
- resource allocation
- low cost