All collected data were double-entered into a computerized database using a word processing, database, and statistics program (EPI INFO version 3.04d, centres for Disease Control & Prevention, USA; World Health Organization, Geneva, Switzerland) with custom-designed algorithms and cross-checks to verify for correctness and internal consistency.
Our methodology has two distinctive features, namely, a formal specification of use cases and a rigorous and systematic process for deriving a system design whose correctness and consistency can be optimally achieved.
We cross checked the data for the number of cases by year, facilities and districts as well as the correctness and consistency of information.
In general, integrity refers to maintaining the correctness and consistency of the data.
Therefore, we need to adopt recovery mechanism to ensure the correctness and consistency of the database.
In this paper, we applied a formal approach to model the SecureDIS system and its security policies and verify the correctness and consistency of the model.
Data may come from various internal and external sources, and therefore data accuracy refers to the correctness and consistency of data.
In this paper, we apply a formal approach to model a DIS with the SecureDIS security policies and verify the correctness and consistency of the model.
Responding to these challenges necessitates new RE techniques that go beyond the traditional goals of completeness, correctness and consistency and focuses instead on business needs and IT alignment.
In tMDA, developers model system requirements with UML static and dynamic models and verify the correctness and consistency of different models.
