Software Verification (소프트웨어 검증)
- Introduction to Software Testing & Formal Methods      
(2011 Spring)

Course Syllabus

Team Projects
　

2010.02.19 :  첫 수업은 03.03(목) 17:00~19:00 새천년관 502호 입니다.
2010.03.03 :  첫 수업은 03.03(목) 15:00~17:00 새천년관 502호 입니다.
2011.03.23 :  03.31/04.01 수업은 국제학회(ISORC 2011) 참석 관계로 휴강합니다.
                04.07(목) 수업에 팀발표#2 (영어) 진행합니다.
                추후 보강일정 공지하겠습니다.
2011.04.07 :  04.08(금) 수업은 교재의 9장입니다.
2011.04.14 :  중간고사는 04.22 (금) 10:00 ~ 11:00, 502호 입니다.
                - 시험범위 : ~ 11장
2011.04.25 :  중간고사 성적 확인하세요.
                - 확인하실 분은 수요일(27일) 까지 오세요.
2011.05.08 :  축제기간 동안 정상수업 합니다.
2011.06.10 :  기말고사는 06.17 (금) 10:00 ~ 11:00, 502호 입니다.
                - 시험범위: 중간고사 이후
2011.06.15 :  추가 강의평가 (06.20 ~ 06.22)
                현재까지 총 4명이 강의평가에 참석 하셨습니다. -_-;
                가끔 제가 입력을 실수해서, 홈페이지 출석부 점수와 실제 학점은 다를 수 있습니다....강의평가 하시고 정정기간 내에 꼭 학점 확인하세요. ^^
2011.06.21 :  성적 확인하세요.
                한 학기 동안 수고 많으셨습니다.


출석부

Schedule