실험실 설치목적
소프트웨어의 분석, 설계, 구현, 유지보수 등 소프트웨어 생명주기 전반에 거쳐 발생할 수 있는 문제에 관하여 연구한다. 세부 연구 항목으로는 정명기법(Formal Method), 객체지향 방법론, 프로세스, 소프트웨어 아키텍처, 프레임워크, 설계패턴, 모델링, 테스팅기법, CASE 도구 등을 연구하고 있으며 이러한 소프트웨어공학 기법을 웹, 모바일, 데스크탑, 임베디드시스템 등 다양한 소프트웨어 환경에 적용하여 실제 현장에서 품질 좋은 소프트웨어와 생산성 향상을 위한 연구를 수행 중이다.