Showing results 7 to 34 of 34
MPSoC용 임베디드 소프트웨어의 PSM 모델링 및 시뮬레이션 오기영; 홍장의; 배두환; 송인권, 정보과학회논문지 : 소프트웨어 및 응용, v.34, no.8, pp.697 - 707, 2007-08 |
MuGenFBD: 기능 블록 다이어그램 프로그램에 대한 자동 뮤턴트 생성기 Lingjun Liu; 지은경; 배두환, 정보처리학회논문지. 소프트웨어 및 데이터 공학, v.10, no.4, pp.115 - 124, 2021 |
PLC 프로그램 테스트 자동화를 위한 테스트 시퀀스의 체계적 실행 제어 및 시뮬레이터 기반 출력 방법 은형석; Lingjun Liu; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.29, no.3, pp.114 - 120, 2023-03 |
UML 객체지향 분석모델의 완전성 및 일관성 진단을 위한 시나리오기반 검증기법 조진형; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.28, no.3, pp.211 - 223, 2001-03 |
객체지향 개발방법의 체계적 구성 김형호; 김영곤; 배두환; 김민경; 유병규, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.5, pp.488 - 498, 2000-05 |
객체지향 시스템의 클래스에 대한 응집도 채흥석; 권용래; 배두환, 정보과학회논문지:소프트웨어 및 응용, v.26, no.9, pp.1095 - 1104, 1999 |
객체지향 재공학을 위한 객체 모델 정제 기법 박외진; 민상윤; 배두환; 마평수, 정보과학회논문지(B), v.25, no.10, pp.1506 - 1517, 1998 |
객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증 홍장의; 윤일철; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.2, pp.157 - 167, 2000 |
군집 적응형 시스템의 목표 기반 테스트를 위한 태스크 기반 테스트 모델 적용 타당성 연구 배두환; 이정현; 지은경; 임유진, 정보과학회 컴퓨팅의 실제 논문지, v.22, no.08, pp.393 - 398, 2016-08 |
단계별 객체 지향 분석 기법 윤청; 인소란; 이권일; 차승훈; 배두환; 변보균; Misbah, M, 정보과학회논문지(B), v.25, no.1, pp.99 - 110, 1998-01 |
동적 시스템 명세를 위한 시제논리언어와 그 검증 조승모; 김형호; 차성덕; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.8, pp.450 - 464, 2002-08 |
병렬 객체지향 시스템의 검증 조승모; 김영곤; 배두환; 변성원; 김상택, 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.1, pp.1 - 12, 2000 |
소프트웨어 공수 예측의 정확성에 대한 이상치 제거의 영향 분석 서영석; 윤경아; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.35, no.10, pp.589 - 599, 2008-10 |
소프트웨어 산업체 피드백을 반영한 자동화된 인력 할당 화지민; 박지훈; 신동환; 홍광의; 서영석; 배기곤; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.7, pp.369 - 380, 2013-07 |
소프트웨어 재사용 기술 도입을 위한 모델 기반의 프레임워크 홍장의; 민상윤; 배두환, 정보과학회논문지(B), v.25, no.8, pp.1218 - 1228, 1998 |
소프트웨어 프로세스 시뮬레이션을 통한 국방 정보체계 획득과정 분석 배두환; 최경식, 국방정책연구, v.22, no.4, pp.119 - 146, 2007-01 |
수정 및 무수정을 통한 코드 재사용성 측정 모델링 김형섭; 배두환, 정보과학회논문지(B), v.24, no.5, pp.561 - 575, 1997-05 |
시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구 김준호; 신동환; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.23, no.4, pp.256 - 261, 2017 |
시스템 오브 시스템즈 온톨로지 구축을 위한 사례 분석 기반의 메타모델 개발 백영민; 박수민; 신용준; 배두환, 정보과학회논문지, v.45, no.10, pp.1056 - 1070, 2018-10 |
시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석 현상원; 신용준; 배두환, 정보과학회논문지, v.47, no.4, pp.380 - 386, 2020-04 |
시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류 신승철; 현상원; 신용준; 송지영; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.26, no.10, pp.451 - 457, 2020-10 |
실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구 홍광의; 서동원; 지은경; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.12, pp.764 - 773, 2013-12 |
유즈 케이스를 적용한 시스템 기능 분해 윤청; 김응모; 배두환, 정보과학회논문지(B), v.26, no.2, pp.263 - 272, 1999-02 |
의존 인스턴스 변수를 고려한 클래스 응집도 척도의 개선 채흥석; 권용래; 배두환, 정보과학회논문지 : 소프트웨어 및 응용, v.31, no.9, pp.1131 - 1141, 2004-09 |
제한된 프로젝트 기간을 고려한 품질 기반 소프트웨어 프로젝트 계획 생성 기법 서동원; 신동환; 배두환, 정보과학회논문지, v.42, no.7, pp.878 - 888, 2015-07 |
타임드 오토마타 모델 기반 테스팅 기법 분석 및 사례 연구 김한석; 지은경; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.21, no.2, pp.132 - 137, 2015-02 |
타임드 오토마타 모델로부터 VxWorks 기반 코드의 체계적 생성 최진호; 지은경; 배두환, 정보과학회논문지 : 컴퓨팅의 실제 및 레터, v.19, no.2, pp.90 - 94, 2013-02 |
효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 GUI 상태 비교 기법 백영민; 홍광의; 배두환, 정보과학회논문지, v.42, no.11, pp.1386 - 1396, 2015-11 |
Discover