Exploration and practice of software engineering core curriculum construction

"Software Architecture” and “Formal Methods” are two important core courses of Software Engineering. Their teaching quality and effectiveness will have an important influence on cultivating Software Engineering talents with high quality and innovation. At present, the teaching quality and effectiveness of these two undergraduate courses are unsatisfactory and have more problems in the domestic universities. Against these problems, this paper explores in the aspects of teaching content, teaching models, teaching methods and means, teacher resources and so on, in order to improve teaching quality, strive high-level elaborate courses and train qualified software engineering high level talents.