PBL Teaching with Design Thinking: Construction and Case Study of Programming Teaching Model in High School | IEEE Conference Publication | IEEE Xplore