Formal System Modelling Using Abstract Data Types in Event-B.
Andreas FürstThai Son HoangDavid A. BasinNaoto SatoKunihiko MiyazakiPublished in: ABZ (2014)
Keyphrases
- abstract data types
- data types
- object oriented databases
- programming language
- relational database systems
- data abstraction
- data model
- spatial aggregation
- database
- spatio temporal data
- sensor networks
- relational databases
- database systems
- r tree
- high level
- relational algebra
- artificial intelligence
- data mining
- databases