教学内容安排与学习大纲：1.Software System Design and AnalysisMDA approach UML approachBidirectional transformation Aspect-oriented software design and analysis Web-based software design Design and analysis for cloud software system2.Software System Implementation and TestingTDD approachUML-based testing Aspect-oriented software implementation and testing Web-based software implementation and testing Testing for cloud software systems3.Program Analysis and VerificationModel-based analysis and testingAnalysis and bidirectional transformationAnalysis and verification for aspect-oriented software Analysis and verification for Web applications Analysis and verification for cloud software systems 4.Program Analysis and VerificationModel-based analysis and testing Analysis and bidirectional transformation Analysis and verification for aspect-oriented software Analysis and verification for Web applications Analysis and verification for cloud software systems

(无)

最终成绩由课堂表现、期末课题报告组合而成。各部分所占比例如下：1）上课参与程度：20%。主要考核对知识点的掌握程度、善于思考的能力。2）论文宣讲及报告讨论：20%。主要考核对知识点的理解及掌握新技术等方面的能力。3）期末课题报告：60%。主要考核对软件工程新理论、新方法的理解及掌握程度，以及运用这些理论或方法来解决实际问题的能力。

• 对软件工程领域产生深远影响的论文，及最新研究成果相关的论文。