Incrementally synthesizing controllers from scenario-based product line specifications.
Joel GreenyerChristian BrennerMaxime CordyPatrick HeymansErika GressiPublished in: ESEC/SIGSOFT FSE (2013)
Keyphrases
- product line
- software product line
- product lines
- software development
- software engineering
- software architecture
- control system
- reinforcement learning
- delay insensitive
- formal specification
- control strategy
- specification language
- finite state machines
- controller design
- high level
- database
- control law
- functional requirements
- object oriented
- user interface
- artificial intelligence
- neural network