𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Declarative testing of logic databases

✍ Scribed by Song Yuan Yan

Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
321 KB
Volume
22
Category
Article
ISSN
0898-1221

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Declarative paradigm of test coverage
Declarative paradigm of test coverage
✍ Fevzi Belli; Oliver Jack πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 319 KB

Two facts about declarative programming prevent the application of conventional testing methods. First, the classical test coverage measures such as statement, branch or path coverage, cannot be used, since in declarative programs no control flow notion exists. Second, there is no widely accepted la

Transient testing of logic networks
Transient testing of logic networks
✍ A.A Kaposi; D.R Holmes πŸ“‚ Article πŸ“… 1971 πŸ› Elsevier Science 🌐 English βš– 493 KB

## Transient testing of logic networks A package of logic network analysis programs has been developed at the Kingston Polytechnic in the past two years. The initial stage of this work, concerning the testing of combinational networks in steady-state conditions, and an intermediate stage, concern

Fuzzy hypotheses testing in the framewor
Fuzzy hypotheses testing in the framework of fuzzy logic
✍ Martin Holeňa πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 602 KB

Testing hypotheses about the probability distribution underlying the available empirical data is one of the fundamental data-analytic tasks in any application domain. Basically, it consists in checking the null hypothesis that the probability distribution, a priori assumed to belong to a certain set