2005-12-03
org.kosen.entty.User@792e6cc6
허재진(jjhur)
소프트웨어 공학이란 주어진 예산과 기간 내에서 고품질 소프트웨어의 개발 및 유지보수를 위한 모든 기법, 도구, 방법론의 총칭으로써 전산학, 경영학, 심리학을 토대로 한 종합 학문이다. 본 연구실에서는 공학적인 접근 방식에 의거하여 효율적이고 신뢰성 높은 소프트웨어를 개발하는데 필요한 소프트웨어 공학 이론과 응용 기술을 연구한다. 특히, 소프트웨어의 유연성(flexibility)을 높이기 위한 프레임워크 연구로 서비스 지향 소프트웨어 구조에 대한 연구와 소프트웨어의 안전성(safety), 보안성(security) 등의 핵심 특성 분석을 위한 소프트웨어의 정형적 모델링 및 분석 기술에 대한 연구를 진행하고 있다.