Domestic Journal

2016

  • 신동환, 김준호, 윤원경, 지은경, 배두환, “FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구”, 정보과학회 컴퓨팅의 실제 논문지, 제22권, 제3호, pp.145-150, 2016년 3월.

2015

  • 백영민, 홍광의, 배두환, “효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 GUI 상태 비교 기법”, 정보과학회논문지:소프트웨어 및 응용, 제42권, 제11호, pp.1386-1396, 2015년 11월.
  • 서동원, 신동환, 배두환, “제한된 프로젝트 기간을 고려한 품질 기반 소프트웨어 프로젝트 계획 생성 기법”, 정보과학회논문지:소프트웨어 및 응용, 제42권, 제7호, pp.878-888, 2015년 7월.
  • 김한석, 지은경, 배두환, “타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구”, 정보과학회논문지:컴퓨팅의 실제 및 레터, 제21권, 제2호, pp.132-137, 2015년 2월.

2014

  • 홍광의, 지은경, 서동원, 배두환, “실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구”, NIPA 소프트웨어공학센터 SW 공학 트렌드·동향분석 Webzine, 제101호, 2014년 7월.
  • 지은경, 배두환, “타임드 오토마타 모델 기반 코드 자동 생성 기술 현황 및 분석”, 정보과학회지, 제32권, 제4호, pp.72-84, 2014년 4월.

2013

  • 박지훈, 신동환, 홍광의, 서동원, 화지민, 배기곤, 서영석, 배두환, “소프트웨어 산업체 요구사항을 반영한 자동화된 프로젝트 계획 생성 지원 기법 및 도구”, 소프트웨어 공학소사이어티 논문지, 제26권, 제4호, pp.77-92, 2013년 12월.
  • 홍광의, 지은경, 서동원, 배두환, “실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구”, 정보과학회논문지:소프트웨어 및 응용, 제40권, 제12호, pp.618-627, 2013년 12월.
  • 화지민, 박지훈, 신동환, 홍광의, 배기곤, 서영석, 배두환, “소프트웨어 산업체 피드백을 반영한 자동화된 인력 할당”, 정보과학회논문지:소프트웨어 및 응용, 제40권, 제7호, pp.369-380, 2013년 7월.
  • 최진호, 지은경, 배두환, “타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성”, 정보과학회논문지:컴퓨팅의 실제 및 레터, 제19권, 제2호, pp.90-94, 2013년 2월.
  • 신동환, 지은경, 배두환, “FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구”, 정보과학회논문지:컴퓨팅의 실제 및 레터, 제19권, 제1호, pp.36-40, 2013년 1월.

2011

  • 최진호, 지은경, 김현정, 배두환, “안전성이 중요한 시간 기반 내장형 소프트웨어의 시간 제약성 검증에 관한 사례 연구”, 정보과학회논문지: 소프트웨어 및 응용, 제38권, 제12호, pp. 647-656, 2011년 12월. 2012년 소프트웨어공학 소사이어티 우수논문상
  • 조현식, 서영석, 배두환, “속성 가중치의 지역적 최적화에 의한 유추기반 공수 예측 정확도의 향상”, 정보과학회논문지: 소프트웨어 및 응용, 제38권, 제7호, pp.347-357, 2011년 7월.
  • 강동원, 송인권, 배두환, “지식 기반의 프로세스 테일러링 자동화 기법”, 정보과학회논문지: 소프트웨어 및 응용, 제38권, 제6호, pp.304-316, 2011년 6월.
  • 김우목, 권재환, 배두환, “리엔지니어링을 통한 모바일 소프트웨어 플랫폼 유지보수성 향상에 대한 사례 연구”, 한국정보과학회 한국컴퓨터종합학술대회 논문집, 제38권, 제1호(A), pp.170-173, 2011년 6월.

2010

  • 이선경, 강동원, 배두환, “유스케이스 트랜잭션 기반의 소프트웨어 공수 예측 기법”, 정보과학회논문지: 소프트웨어 및 응용, 제16권, 제5호, pp.566-570, 2010년 5월.

2009

  • 이동호, 윤경아, 배두환, “k-NN과 최대 우도 추정법을 결합한 소프트웨어 프로젝트 수치 데이터용 결측값 대치법”, 정보과학회논문지: 소프트웨어 및 응용, 제36권, 제4호, pp.273-282, 2009년 4월.
  • 홍장의, 배두환, “에너지 효율화를 위한 임베디드 소프트웨어 소모전력 분석 기술”, 정보과학회지, 제27권, 제11호, pp. 80-86, 2009년 11월.

2008

  • 서영석, 윤경아, 배두환, “소프트웨어 공수 예측의 정확성에 대한 이상치 제거의 영향 분석”, 정보과학회논문지: 소프트웨어 및 응용, 제 35권, 제10호, pp. 589-599, 2008년 10월.
  • 홍장의, 김종필, 배두환, “NCW 환경에서의 시나리오 기반 국방 정보체계 상호운용성 시험평가 방법”, 정보과학회지, 제26권, 제11호, pp.47-54, 2008년 11월.
  • 홍장의, 배두환, “소프트웨어공학 교육을 위한 프로세스 모형화”, 정보과학회지, 제26권, 제2호, pp.42-52, 2008년 2월.

2007

  • 박승훈, 최경식, 배두환, “A Software Process Modeling Approach for Providing Consistency between the Process Description and Simulation”, 한국멀티미디어학회지, 제11권, 제2호, 2007년 6월.
  • 송인권, 오기영, 홍장의, 배두환, “MPSoC용 임베디드 소프트웨어의 PSM 모델링 및 시뮬레이션”, 정보과학회논문지: 소프트웨어 및 응용, 제34권, 제8호, pp.697-707, 2007년 8월.
  • 전상욱, 홍장의, 배두환, “ESUML – An Environment for the Analysis of UML-based Embedded Software Model”, 소프트웨어공학회지, 제20권, 제4호, pp.3-12, 2007년 12월.

2006

  • 홍장의, 배두환, “멀티프로세서용 임베디드 소프트웨어의 MDA 기반 개발”, 정보과학회지, 제24권, 제8호, pp.19-25, 2006년 8월.
  • 최경식, 배두환, “소프트웨어 프로세스 시뮬레이션을 통한 국방 정보체계 획득 과정 분석”, 국방정책연구, 제74권, 2006년 12월.
  • 전상욱, 이희진, 배두환, “형강 절단 로봇 시스템의 객체 지향 설계”, 정보과학회지, 제24권 3호, 2006년 3월.

2005

  • 양해술, 배두환, “소프트웨어 품질표준화와 시험.인증기술의 동향”, 정보과학회지, 제23권, 제3호, pp.45-55, 2005년 3월.

2004

  • 채흥석, 권용래, 배두환, “의존 인스턴스 변수를 고려한 클래스 응집도 척도의 개선”, 정보과학회지, 제31권 제9호, 2004년.

2003

  • 전상욱, 김인규, 김정윤, 윤경아, 배두환, “CBD 방법론 비교 분석”, 정보처리학회, 제10권, 제3호, pp 30-39, 2003년.

2002

  • 홍장의, 윤일철, 배두환, “객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증”, 정보과학회논문지:소프트웨어 및 응용, 제27권, 제2호, pp.157-167, 2000년 2월.
  • 조승모, 김형호, 차성덕, 배두환, “HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사”, 정보과학회논문지:소프트웨어 및 응용, 제29권, 제5·6호, pp.345-354, 2002년 6월.
  • 조승모, 김형호, 차성덕, 배두환, “동적 시스템 명세를 위한 시제논리언어와 그 검증”, 정보과학회논문지:소프트웨어 및 응용, 제29권, 제7·8호, pp. 450-464, 2002년 8월.

2001

  • 배두환, “21세기 IT 산업을 위한 소프트웨어공학 인력 양성”, 정보과학회지, 제19권, 제12호, pp.12-20, 2001년 12월.
  • 조진형, 배두환, “UML 객체지향 분석모델의 완전성 및 일관성 진단을 위한 시나리오기반 검증기법”, 정보과학회논문지:소프트웨어 및 응용, 제28권, 제3호, pp.211-223, 2001년 3월.
  • 오승욱, 마유승, 배두환, 권용래, 김길조, 구자경, “EJB 컴포넌트 시험 평가 체계 및 시험 환경 구축에 관한 연구”, 정보과학회지, 제19권, 제2호, pp.22-30, 2001년 2월.
  • 김상운, 마유승, 강제성, 배두환, 권용래, “UML / OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경”, 한국정보과학회 2001년도 가을 학술발표논문집, 제28권, 제2호(I), pp.553-555, 2001년 10월.
  • 조진형, 배두환, “UML 객체지향 분석 모델의 완전성 및 일관성 진단을 위한 시나리오 검증 기법”, 정보과학회논문지:소프트웨어 및 응용, 2001년.

2000

  • 김형호, 김영곤, 배두환, 김민경, 유병규, “객체지향 개발 방법의 체계적 구성”, 한국정보과학회 논문지(B), 제27권, 제5호, pp.488-498, 2000년 5월.
  • 홍장의, 윤일철, 배두환, “객체 지향 페트리넷을 이용한 계층적인 요구사항의 명세 및 검증(Hierarchical Specification and Verification of Requirements Using An Object-Oriented Petri Net)”, KISS Journal(B), Vol.27, No.2, 2000년 2월.
  • 조승모, 김영곤, 배두환, 변성원, 김상택, “병렬 객체지향 시스템의 검증”, 한국정보과학회논문지:소프트웨어 및 응용, 제27권, 제1호, pp.1-12, 2000년 1월.
  • 채흥석, 권용래, 배두환, “유도 인스턴스 변수를 고려한 응집도 척도의 개선”, 한국정보과학회논문지:소프트웨어 및 응용, 제27권 , 제1호, 2000년.

1999

  • 채흥석, 권용래, 배두환, “객체지향 시스템의 클래스에 대한 응집도”, 한국정보과학회 논문지(B), 26(9), pp.1095-1104, 1999.2. .
  • 윤청, 김응모, 배두환, “유즈케이스를 적용한 시스템 기능 분해”, 한국정보과학회 논문지(B), 26(9), pp.263-272, 1999.2.

1998

  • 박외진, 민상윤, “객체 지향 재공학을 위한 객체 모델 정제 기법”, 한국정보과학회 논문지, 25(10), pp.1506-1517, 1998,10.
  • 홍장의, 민상윤, 배두환, “소프트웨어 재사용 기술 도입을 위한 모델 기반의 프레임워크”, 한국정보과학회 논문지, 25(8), pp.1218-1228, 1998,8.
  • S. Ine, C. Youn, D. Bae, “Managing Complexity in Object-Oriented Analysis”, ETRI Journal, vol. 20, no. 2, pp.192-213, 1998, 6.
  • 윤청, 인소란, 이권일, 차승훈, 배두환, 변보균, Mirza Misbah “단계별 객체 지향 분석 기법 (Stepwise Object Oriented Analysis(SOOA))”, 한국정보과학회 논문지, 25(1), pp.99-110, 1998,1.

1997

  • 김형섭, 배두환, “수정 및 무수정을 통한 코드 재사용성 측정 모델링”, 한국정보과학회 논문지, 24(5), pp.561-575, 1997, 4.