Notice
Recent Posts
Recent Comments
Link
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |
Tags
- DI
- 의존관계
- Abstractin
- 전후조건
- 제어역전
- dynamic checking
- java
- Dependency Injection
- abstraction
- 조선대 nhn academy
- Iversion of Control
- abstract calss
- 자바
- Collection
- nhn 부트캠프
- 추상클래스
- 합성관계
- interface
- 가변객체
- 추상화
- 집합관계
- 버그줄이기
- collctionframwork
- 타입정의
- 뮤택스
- list
- static checking
- postcondition
- Abstraction Barrier
- 조선대 nhn
Archives
- Today
- Total
목록전후조건 (1)
꾸준한 기록을
Specification 기본 개념
Specification 프로그램에서 터지는 버그는 대부분 동작에 대한 오해로 발생합니다. 이러한 동작의 오해를 줄이기 위한 대표적인 방법으로 Spec(명세)이 존재합니다. 또한 완성된 프로그램은 필수적으로 Spec을 갖고있어야 합니다. 그렇다면 Spec은 무엇을 의미하는 걸까요?? 다음은 실제로 사용되는 BigInteger 클래스 Spec입니다. Class BigInteger public BigInteger add(BigInteger val) Returns a BigInteger whose value is (this + val). Parameters: val - value to be added to this BigInteger. Returns: this + val add 메서드의 Signature와 실..
프로그래밍 기초/전산학 기초
2023. 10. 23. 16:45