Theoretical Foundation of Software Engineering

(软件工程理论基础)

 


[Course Information] [Slides] [Assignments][Projects][Links]
Course Information
Slides (Slides will be available one week before the class)

Class Introduction

Preliminary Knowledge

Modeling

Specification

Automatic Verification

Modeling Issue

Deductive Verification


Assignments

Assignment I

Assignment II


Projects

Project I

Project II


Links