lecture notes on programming methodology 6155885