Formalising the Requirements of an E-Voting Software Product Line Using Event-B.
Abderrahim Ait WakrimeJ. Paul GibsonJean-Luc RaffyPublished in: WETICE (2018)
Keyphrases
- software product line
- product line
- software engineering
- quality attributes
- life cycle
- future directions
- software development
- aspect oriented
- event detection
- product lines
- user requirements
- requirements engineering
- artificial intelligence
- expert systems
- temporal patterns
- event recognition
- event driven
- application specific
- neural network
- knowledge management
- data mining