Enhancing Software Dependability for Educational Curricula