Using Graph Transformation Systems to Specify and Verify Data Abstractions.
Luciano BaresiCarlo GhezziAndrea MocciMattia MongaPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2008)
Keyphrases
- computer systems
- data sets
- raw data
- graph transformation
- historical data
- data analysis
- synthetic data
- image data
- data objects
- data acquisition
- statistical analysis
- data points
- high level
- high quality
- expert systems
- complex data
- data model
- mobile devices
- metadata
- heterogeneous systems
- temporal data
- training data
- end users
- high dimensional data
- social media
- data mining techniques
- data management
- data sources
- knowledge discovery