Advanced Software Engineering (고급 소프트웨어공학)
- Introduction to Formal Methods      
(2009 Fall for graduate students)
　

Course Syllabus

2009.10.05 :  10.09(금) 수업은 강사의 예비군훈련 소집으로 휴강합니다.
2009.11.07 :  11.13(금) 중간고사 봅니다. 시간: 09:00 ~ 10:00 , 시험범위: 1,2,3,5장
2009.11.07 :  프로젝트 팀 구성원 명단(2명/1팀) 저에게 메일로 알려 주세요. (~11.13)
2009.11.19 :  중간고사 성적 확인하세요.
                프로젝트 팀 구성하셔야 합니다.
                기말고사는 팀 프로젝트로 대체하겠습니다.
2009.11.25 :  12.04(금) 수업은 12.03(목) 으로 변경 하겠습니다.
                장소 : 904호 유준범 교수 연구실
                시간 : 14:00 ~ 21:00 아무 때나
                방법 : UBS로 발표자료와 UPPAAL 파일을 가져와서, 제 방에서 팀별로 발표합니다.
2009.12.18 :  성적 출석부에 공지 되었습니다.
                발표자료 미제출 팀은 제출해 주세요.
                한 학기 동안 수고하셨습니다.
2009.12.21 :  최종성적 확인하세요.
                링크된 파일이 없는 팀은 저에게 신속하게 보내 주세요.

출석부

Schedule

Team Project