<p>This course will present rigorous and formal methods for the design and implementation phases of software system development. Also considered are testing and reuse of designs. As far as possible, software tools that can assist the process will be used. The material will be presented using case studies, and students will be required to undertake a project.</p> <p>本课程将为软件系统开发的设计和实施阶段提供严格而正式的方法。还考虑了设计的测试和重用。尽可能使用可以协助该过程的软件工具。材料将通过案例研究呈现,学生将被要求进行项目。</p>
