A Formal Specification of a Data Model for Malaria Surveillance in the Developing World.
Emmanuel TuyishimirePublished in: CoRR (2024)
Keyphrases
- formal specification
- data model
- model checking
- object oriented design
- specification language
- specification languages
- reverse engineering
- data abstraction
- process algebra
- database systems
- concurrent systems
- formal methods
- query language
- data sources
- surveillance system
- database management systems
- model checker
- databases
- xml documents
- machine learning
- database
- artificial intelligence
- knowledge acquisition
- fuzzy logic