On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract.
Diego LatellaPublished in: FORECAST@STAF (2016)
Keyphrases
- extended abstract
- formal methods
- spatial analysis
- software engineering
- artificial intelligence
- knowledge based systems
- development lifecycle
- hot spots
- geographic information systems
- formal specification
- spatial data
- decision support
- model checking
- remote sensing
- open source
- spatial location
- geographical information systems
- image analysis
- database