Modular Verification of Data Abstractions with Shared Realizations.
George W. ErnstRaymond J. HookwayWilliam F. OgdenPublished in: IEEE Trans. Software Eng. (1994)
Keyphrases
- data sets
- database
- synthetic data
- data collection
- data analysis
- image data
- historical data
- complex data
- data processing
- small number
- data sources
- end users
- prior knowledge
- experimental data
- data acquisition
- dimensionality reduction
- data mining techniques
- high dimensional data
- data structure
- spatial data
- application domains
- network structure
- raw data
- original data
- knowledge base
- databases