A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability
2018
Proceedings of the 15th International Joint Conference on e-Business and Telecommunications
Detecting errors in software products is very important to software reliability because many security vulnerabilities are caused by the defects in software. Design by contract (DBC) is an effective methodology that dynamically checks whether a program meets its specifications, which are also called design contracts, and whether there are errors in the program. The contracts for object-oriented programs are defined in terms of preconditions and postconditions for methods as well as invariants
doi:10.5220/0006849605300537
dblp:conf/icete/AldausariZD18
fatcat:4fmt5cir7ram5jyn2xojkwthly