|
|
|
- 경력
- 한국정보과학회 소프트웨어공학소사이어티 이사: 2004년 - 현재
- 한국정보과학회, 한국정보처리학회 정회원: 2004년 - 현재
- 한국정보과학회 논문지 편집위원: 2010년 - 현재
- 한국정보과학회 학회지 편집 부위원장: 2014년 - 현재
Academic Activities
- Program Committee
- COMPSAC, Program Committee, 2003, 2009, 2010
- APSEC, Program Committee, 2004, 2005, 2008, 2011, 2012, 2013
- ISFST, Program Committee, 2004
- SOSE, Program Committee 2008
- CIT, Program Committee, 2008, 2009, 2010, 2011
- QSIC, Program Committee, 2009
- Journal Reviewer
- IEEE Transactions on Software Engineering, Reviewer, 2005
- Journal of Information Science and Engineering, 2007
- IEEE Software, Reviewer, 2008
- IEICE Transactions on Information and Systems, Reviewer, 2008
- Information Sciences, Reviewer, 2008, 2009
- Software Testing, Verification and Reliability, Reviewer, 2008
- The Computer Journal, Reviewer, 2009
- Journal of Systems and Software, Reviewer, 2010, 2012, 2013
- Information Technology and Management, Reviewer, 2010
- Software Quality Journal, Reviewer, 2011
- IEEE Computer, Reviewer, 2012
Talks/Seminars
- 소프트웨어 복잡화 증대에 따른 Testing 관점에서의 대응 방안, 현대자동차, 2013
- SW 품질관리의 중요성, 부산정보산업진흥원, 2013
- 정적코드분석: MISRC C, 퓨트로닉, 2013
- 객체지향 분석/설계, 나비스오토모티브시스템즈, 2013
- 소프트웨어 테스트, 나비스오토모티브시스템즈, 2012
- 소프트웨어 검증 및 평가, 현대모비스, 2012
- Cohesion and Coupling Metrics for Evaluating Understandability of State Diagrams, 경북대, 2012
- 소프트웨어 테스트 관리, TTA, 2005년-2010년
- Software Design Pattern, 삼성전자, 2009년, 2010년
- Requirement Modeling, 삼성탈레스, 2008
- UML - 개념과 활용, 경남대, 2008
- Object-oriented Analysis, 삼성탈레스, 2007
- UML과 객체지향 분석/설계, 삼성전자/LG전자, 2008년, 2013년
- Component-based SW Design, 삼성전자, 2005년 - 2013년
- Development of Reliable Software Systems, ETRI, 2005
- 구조적 방법론, LG전자, 2003년
- 임베디드 SW 설계, LG전자, 2003년
Research Projects
- 과제명: 실시간 임베디드 소프트웨어의 품질 향상을 위한 행위 모델 기반의 기능성/강건성 테스트 자동화 기술 연구
- 지원기관: 한국연구재단
- 수행 기간: 2011년-현재
- 연구 내용: 상태 기계 기반 테스트 자동화 기술
- 과제명: Smart TV UI의 모델 기반 테스트 방법론 개발
- 지원기관: LG전자
- 수행 기간: 2013년
- 연구 내용: 상태 기계 기반 Smart TV 모델링 방법 및 테스트 케이스 자동 생성 기술
- 과제명: 스마트폰 앱의 호환성 평가와 진단을 위한 테스팅 기술 연구
- 지원기관: 한국연구재단
- 수행 기간: 2010년 - 2013년
- 연구 내용: 앱의 행위 모델링 및 호환성 테스트 기술
- 과제명: 테스트 전문 인력 양성 과정 교재 및 교육과정 개발
- 지원기관: TTA
- 수행 기간: 2007년 - 2009년
- 연구 내용: 테스트 교육 교재 개발, 테스트 전문가 자격증 시험 문제 은행 개발
- 과제명: 정형 명세 기반 소프트웨어 검증 조건 및 테스트 데이터 생성 기술 연구
- 지원기관: ETRI
- 수행 기간: 2009년
- 연구 내용: 테스트 케이스 생성 기술 및 자동화 도구 개발
- 과제명: 터미널운영시스템의 품질 향상을 위한 테스트 역량 강화
- 지원기관: TSB (NIPA SW공학현장적용사업)
- 수행 기간: 2012년
- 연구 내용: 표준 테스트 프로세스 구축
- 과제명: 터미널운영시스템 구축 프로젝트 관리 및 요구공학 도입
- 지원기관: TSB (NIPA SW공학현장적용사업)
- 수행 기간: 2011년
- 연구 내용: 표준 개발 프로세스 구축, 프로젝트관리/요구사항관리 지침 개발
- 과제명: 차세대 터미널 운영 시스템 아키텍처 개발
- 지원기관: LIT
- 수행 기간: 2008년 - 2009년
- 연구 내용: 터미널 운영 시스템 요구사항 및 아키텍처 모델링
- 과제명: 대규모 물류정보관리를 위한 스마트 미들웨어 플랫폼
- 지원기관: 한국연구재단
- 수행 기간: 2004년 - 2011년
- 연구 내용: RFID 미들웨어 모니터링, 가용성/성능 진단 및 복구
- 과제명: 소프트웨어 프로세스 개선을 위한 공학 기술 개발
- 지원기관: NIPA ITRC
- 수행 기간: 2004년 - 2010년
- 연구 내용: 정량적 SW 품질 측정/예측 기술
- 과제명: 고신뢰도 내장형 실시간 소프트웨어 개발 기술
- 지원기관: ADD
- 수행 기간: 2006년 - 2011년
- 연구 내용: 실시간 내장형 SW 모델링, 성능 분석
Books
- 프로그래밍 센스를 살리는 비타민 C++, 교보출판사, 2014년
- 자바 객체지향 디자인 패턴: UML과 GoF 핵심 디자인 패턴 10가지로 배우는, 한빛미디어, 2014년
- UML과 Java로 배우는 객체지향 CBD 실전 프로젝트, 한빛미디어, 2009년
- 클래스 구조의 이해와 설계: UML, Java, C++를 활용한 객체지향 모델링 실전, 한빛미디어, 2004년
- 객체지향 CBD 개발 Bible: J2EE와 .NET 대학 정보 시스템 프로젝트, 한빛미디어, 2003년