Formal Development of Databases in ASSO and B.
Brian MatthewsElvira LocuratoloPublished in: World Congress on Formal Methods (1999)
Keyphrases
- databases
- database
- decision support
- software engineering
- evolutionary algorithm
- st century
- formal model
- data model
- relational databases
- case study
- neural network
- information technology
- mobile devices
- database systems
- data sources
- knowledge discovery
- e learning
- decision making
- database applications
- development process
- data mining
- future development
- economic development