Reliability determination of Prolog programs.

Alireza Azem Fevzi Belli

Published in: SEKE (1994)

Keyphrases

prolog programs
logic programs
answer set programming
real time
databases
software engineering
highly reliable
software reliability
reliability assessment
genetic algorithm
case study
bayesian networks
development process
reliability analysis