A practical assessment of formal specification approaches for data abstractions.

K. P. Ventouris Panayiotis E. Pintelas

Published in: J. Syst. Softw. (1992)

Keyphrases

formal specification
data sets
data analysis
data sources
database
data points
data quality
database systems
cooperative
information technology
data mining techniques
fuzzy rules
temporal logic
formal methods