All-at-once-synthesis of controllers from scenario-based product line specifications.
Maxime CordyJean-Marc DavrilJoel GreenyerErika GressiPatrick HeymansPublished in: SPLC (2015)
Keyphrases
- product line
- software product line
- controller synthesis
- software development
- product lines
- software engineering
- software architecture
- reinforcement learning
- functional requirements
- program synthesis
- control system
- specification language
- high level
- requirements engineering
- delay insensitive
- real time
- texture synthesis
- control strategy
- control flow
- building blocks
- multi agent
- information systems
- artificial intelligence
- databases