SW공학 27
- 1. 데이터베이스 개요
- 9. 관계 대수와 관계 해석
- 8. 파일 조직과 인덱스
- 7. 디스크와 파일
- 6. 스키마 정제와 정규형
- 5. er model
- 4. 과제1
- 3. sql
- 2. 관계 모델
- 11. sql 프로시저
- 10. 병행성 제어
- Vison control
- Testing
- Static checking
- Specifications
- Recursive data types
- Recursion
- Mutability & immutability
- Interface
- Exception
- Equality
- Designing specifications
- Debugguing
- Code review
- Avoiding debugging
- Abstract data types(23.10.04)
- Abstraction functions & rep invariants