A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs.
Akram IdaniPublished in: ESSE (2021)
Keyphrases
- lightweight
- formal methods
- development environments
- safety critical
- knowledge based systems
- software engineering
- development lifecycle
- formal analysis
- formal specification
- process algebra
- case study
- wireless sensor networks
- model checking
- information systems
- dos attacks
- databases
- development process
- database
- handheld devices
- protocol specification
- early warning
- development environment
- rfid tags
- black box
- design process
- expert systems
- multi agent systems
- artificial intelligence