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
- Dependency Injection
- 조선대 nhn
- 타입정의
- Iversion of Control
- 합성관계
- Collection
- collctionframwork
- 버그줄이기
- 뮤택스
- abstract calss
- java
- Abstraction Barrier
- 자바
- 집합관계
- 추상화
- Abstractin
- 추상클래스
- abstraction
- dynamic checking
- 제어역전
- nhn 부트캠프
- 가변객체
- list
- postcondition
- DI
- 조선대 nhn academy
- static checking
- 의존관계
- 전후조건
- interface
Archives
- Today
- Total
목록postcondition (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