졸업일 2009. 02.
석사학위논문 계약기반 클래스의 상태 다이어그램 자동 생성 기법 (Automatic State Diagram Generation Approach from Contract Based Class)