서브메뉴
검색
본문
Powered by NAVER OpenAPI
-
-
객체지향과 형식사양
저자 : 테슈야 고무라
출판사 : 동서
출판년 : 2000
정가 : 25000, ISBN : 898629253X
책소개
1. 개체모델링에 대한 기대
2. 비즈니스 애플리케이션 대상 객체지향모델링 기법 "BOAD법"
3. 메일토론 - 객체모델링과 실장
4. 요구사양의 형식적 기술
5. 형식적 방법 개관
6. 사양언어의 필요성과 사양언어 Z에 의한 프로그램
7. 객체지향을 위한 문헌소개
8. 객체지향과 형식사양의 실장
9. 실장모델의 평가
10. 객체지향에 의한 시장실험의 평가
11. 형식사양에 의한 개발시행