Lecture notes on software engineering