Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability.

Nuha Aldausari Cui Zhang Jun Dai

Published in: ICETE (2) (2018)

Keyphrases

inference rules
modal logic
software reliability
logical framework
software testing
case study
sequent calculus
truth values
natural deduction
neural network
first order logic
design process
logic programming
model selection
database systems
decision trees
learning algorithm