졸업일 2008. 02.

석사학위논문 연산의 선행/후행 조건에 바탕을 둔 클래스의 상태 다이어그램 구성 기법 (Automatic Construction of State Diagram from Class Operations with Pre/post Conditions)