南京大学软院四年：软件工程与"纸上编程"