Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification.
Victor DubininIlya SenokosovValeriy VyatkinPublished in: HoloMAS (2017)
Keyphrases
- product line
- software product line
- software development
- software architecture
- software engineering
- formal methods
- formal specification
- product lines
- requirements specification
- distributed systems
- distributed environment
- peer to peer
- cooperative
- future directions
- software components
- reactive systems
- specification language
- operational semantics
- information goods
- databases
- formal language
- software design
- mobile agents
- test set
- high level