Formal verification of the extension of iStar to support Big data projects.
Chabane DjeddiNacereddine ZarourPierre-Jean CharrelPublished in: Comput. Sci. (2021)
Keyphrases
- big data
- formal verification
- cloud computing
- data intensive
- data management
- data processing
- data analysis
- social media
- vast amounts of data
- model checking
- unstructured data
- health informatics
- business intelligence
- case study
- symbolic model checking
- data warehousing
- knowledge discovery
- high volume
- decision support
- massive data
- social computing
- end users
- automated verification
- machine learning
- data science