国家级教学成果一等奖（2005年），北京大学软件与微电子学院-示范性软件学院建设