PLSQL-DbC Code and writings on technique for applying Design by Contract principles to PL/SQL programming