A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems.

Fernando Asteasuain Luciana Rodriguez Caldeira

Published in: CACIC (2021)

Keyphrases

big data
data intensive
high volume
analytic tools
data analysis
cloud computing
machine learning
vast amounts of data
social media
data mining
data processing
data stores
big data analytics
unstructured data
business intelligence
information extraction
management system
expert systems