DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author 지은경

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 15 of 15

1
FBD 프로그램 대상 구조적 커버리지를 만족시키는 테스트 시퀀스 생성 알고리즘

송지영; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.570 - 572, 한국정보과학회, 2015-06

2
FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석

신동환; 윤원경; 김준호; 지은경; 배두환, 2015 한국컴퓨터종합학술대회, pp.567 - 569, 한국정보과학회, 2015-06

3
PAT 기반 반례로부터 테스트 시퀀스로의 체계적 변환

Zelalem Mihret, Belay; Lingjun, Liu; 지은경; 배두환, 2021 한국 소프트웨어공학 학술대회, 한국정보과학회, 2021-02-01

4
SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석

채철우; 신동환; 지은경; 홍광의; 배두환, 2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.399 - 401, 한국정보과학회, 2014-12-18

5
교통 분야 시스템 오브 시스템즈 대상 SUMO의 모델링 적합성 분석

윤원경; 송지영; 지은경; 배두환, 2016년 한국컴퓨터종합학술대회 논문집, 한국정보과학회, 2016-06-30

6
기능 블록 다이어그램에 대한 자동 뮤턴트 생성

Lingjun Liu; 지은경; 배두환, 제 22 회 한국 소프트웨어공학 학술대회 (KCSE 2020), 한국정보과학회, 2020-02-05

7
스마트 기기 자율 협업 검증 프레임워크

홍광의; 임유진; 신동환; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.454 - 456, 한국정보과학회, 2014-06-27

8
스테이트리스 컴퓨팅 환경에서의 서버리스 클러스터의 설계

정대욱; 백종문; 지은경, 2021 한국 소프트웨어공학 학술대회 (KCSE 2021), 한국정보과학회, 한국정보처리학회, 2021-02-02

9
시스템 오브 시스템즈 협업 정책 구성을 위한 상향식 기법 제안

Belay, Zelalem Mihret; 지은경; 백영민; 배두환, 제21회 한국 소프트웨어공학 학술대회, 한국정보과학회, 2019-01-30

10
실시간 모델 기반 테스트 케이스를 코드 테스트에 적용하기 위한 방법

서동원; 지은경; 배두환, 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, pp.490 - 492, 한국정보과학회, 2013-11-15

11
실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법

홍광의; 지은경; 배두환, 2013 한국컴퓨터종합학술대회, pp.520 - 522, 한국정보과학회, 2013-06-26

12
원전 안전 필수 시스템 소프트웨어 대상 안전 진술 평가 사례연구

지은경; 권기춘; 이장수; 배두환, 2017년 한국컴퓨터종합학술대회, 한국정보과학회, 2017-06-19

13
의료 도메인 자가 적응형 시스템 정형 검증 사례연구 및 분석

임유진; 신동환; 지은경; 박지훈; 배두환, 2014 한국소프트웨어공학 학술대회, v.16, no.1, pp.15 - 22, 소프트웨어공학 소사이어티, 2014-02-13

14
타임드 오토마타 모델 기반 테스팅 기법 분석

김한석; 지은경; 배두환, 2014 한국컴퓨터종합학술대회, pp.523 - 525, 한국정보과학회, 2014-06-27

15
태스크 기반 테스트 모델의 군집 적응형 시스템 적용 타당성 연구

이정현; 임유진; 지은경; 배두환, 제42회 한국정보과학회 동계학술발표회, 한국정보과확회, 2015-12-18

Discover

rss_1.0 rss_2.0 atom_1.0