Advanced Software Engineering (고급 소프트웨어공학)
- Introduction to Formal Methods
(2010 Fall for graduate students)
2010.08.17 : 09.03(금)
첫 수업 시작합니다.
2010.10.01 : 10.08(금) 수업은 ITRC 전체 교수 워크샵(제주도)으로 휴강합니다. 곧 보강 있습니다.
2010.10.12 : 중간고사는 수업 진도 마치고 실시합니다. 중간고사 기간에도 수업 합니다. ^^;
2010.11.19 : 중간고사 : 11.26(토) 10:00 ~ 11:00 , 1207호
시작발표 : 11.26(토) 11:00 ~ 12:00 , 1207호 , PPT 5장 준비, 사전에 이메일 전송 요.
2010.11.23 : 12.03(금) 수업은 APSEC 2010 학회참석으로 휴강합니다.
출석부
Schedule
| Week | Date | Lecture | Etc. |
| 1 | 09.03 | Course Introduction (Course material) Introduction to Formal Methods (paper, ppt) Chapter 1. Automata Chapter 2. Temporal Logic Chapter 3. Model Checking Chapter 4. Symbolic Model Checking Chapter 5. Timed Automata Chapter 6. Reachability Properties Chapter 7. Safety Properties Chapter 8. Liveness Properties Chapter 9. Deadlock-freeness Chapter 10. Fairness Properties 시작발표 : 팀별 V&V 기법 소개 및 V&V 대상 소개 중간발표: 1차 V&V 결과 최종발표 : 2차 V&V 결과 |
|
| 2 | 09.10 | ||
| 3 | 09.17 | ||
| 4 | 09.24 | ||
| 5 | 10.01 | ||
| 6 | 10.08 | 휴강 (ITRC 워크샵 참여) | |
| 7 | 10.15 | ||
| 8 | 10.22 | ||
| 9 | 10.29 | ||
| 10 | 11.05 | ||
| 11 | 11.12 | ||
| 12 | 11.19 | ||
| 13 | 11.26 | 중간고사 , 시작발표 | |
| 14 | 12.03 | 휴강 (APSEC 2010 참가) | |
| 15 | 12.10 | 중간발표 | |
| 16 | 12.17 | 최종발표 |
Team Project
| 팀 | 팀원 | 예비발표 | 중간발표 | 최종발표 |
| T1 |
201072889 양시현 , 201072894 조용석 |
|||
| T2 |
201071197 이상헌 , 201072892 이동아 , 201072890 윤상현 |
|||
| T3 | ||||
| T4 | ||||
| T5 | ||||
| T6 | ||||
| T7 | ||||
| T8 | ||||
| T9 |