Software Verification (소프트웨어 검증)
- Introduction to Software Testing & Formal
Methods
(Spring 2009)
2009.03.11 : 팀구성 완료 되었습니다.
2009.03.23 : 실습관련 팀별 미팅 스케쥴 (장소: 904호):
- 03.24(화) 17:00 ~ 18:00 1조, 18:00 ~ 19:00 2조, 19:00 ~ 20:00 3조
- 03.25(수) 17:00 ~ 18:00 4조, 18:00 ~ 19:00 5조, 19:00 ~ 20:00 6조
2009.03.30 : 공학인증 사전설문 부탁 드립니다.
2009.04.08 : 04.13(월)에 수업합니다. 04.15(수)에는 교수 없이 자체
실습합니다.
2009.04.13 : 중간고사는 04.20(월) 수업시간입니다. Open
books & Slides.
시험범위: 1장~8장
2009.04.13 : 실습#3는 취소하고 실습#2에 집중하겠습니다. ^^;
2009.04.13 : 예정되어 있던 휴강일정 조정하였습니다.
2009.04.13 : 예비군훈련으로 04.27(월) 휴강합니다.
2009.04.18 : 중간고사 관련 - 시험문제 8문항 입니다.
2009.04.21 : 공학인증 중간설문 부탁 드립니다.
2009.04.24 : 중간고사 성적 확인하세요.
2009.04.27 : 강의내용 변경되었습니다. SMV Model Checking 관련 이론 수업을 보강합니다.
2009.05.23 : 강의/실습내용 축소되었습니다. 실습#2로 최종 평가하겠습니다.
2009.06.08 : 공학인증 최종설문 및 강의평가 부탁 드립니다.
2009.06.08 : 2009.06.09 하루 종일 질문하러 오세요.
기말고사는 한 문제 출제합니다. 문제는 이미 알려 드렸습니다.
출석부에 프로젝트 점수 공개되고 있습니다.
2009.06.08 : 기말고사는 2009.06.15(월) 수업시간 입니다.
2009.06.16 : 기말고사 및 최종학점 공지되었습니다. 한 학기 동안 수고하셨습니다.
출석부
Schedule
