• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권8호
• /
• pp.543-554
• /
• 2002

개발자는 다양한 설계 도구들을 통해 많은 설계내역들을 생성한다. 따라서, 생성된 설계내역 들의 분석을 용이하게 해주는 도구들이 필요하다. 이 도구들은 설계내역들 사이에 관계성을 정의하고 자유로운 항해 메소드를 제공함으로써, 전체 시스템을 이해하고 검증하는데 사용될 수 있다. 본 논문에서는 설계내역들간의 복제, 인스턴스, 그리고 전이 관련성 파악을 통해 시스템을 체계적으로 분석할 수 있도록 지원하는 항해기를 제안하고 구현하였다. 항해기는 기존의 UML 설계 도구들이 갖는 설계요소로의 항해 방식과는 달리, 클래스 다이어그램내 정적 구조 정보뿐만 아니라 이와 연계하여 함께 파악되어야 하는 시퀀스 다이어그램, 스테이트 다이어그램내 동적인 면을 기술하는 설계내역을 구성하는 설계요소들도 함께 항해할 수 있도록 확장되었다. 즉, 설계내역 항해기는 UML이 갖는 모든 설계 시멘틱에따라 설계요소들을 유기적으로 파악할 수 있도록 함으로써 시스템의 행위를 체계적으로 파악하고 검증하는데 사용될 수 있다 이를 위해, 본 논문에서는 1) 복제, 인스턴스, 전이 등의 관련성을 정의하고, 2) 정의된 방식에 따라 관련된 설계요소들에 관련성을 부여한 뒤, 3) 이 관련성에 의해 관련된 설계요소들을 항해하기 위한 일련의 함수들을 제시한다.

• 기독교교육논총
• /
• 제62권
• /
• pp.187-225
• /
• 2020

본 연구의 목적은 K대학의 6가지 핵심역량의 정의를 규명하고, 이에 따라 하위요소를 구성하여 핵심역량을 측정하는 도구를 개발하고, 타당화하는 것에 목적이 있다. 이를 위해 이론적 탐색을 통해서 역량을 정의하였고, 하위요인을 구성하였으며, 문항을 개발하고 전문가 검토에 의해 초안을 개발하였다. 신뢰도와 타당성 검증을 위해 K대학 재학생 907명을 대상으로 역량을 측정하였으며, 공인타당도 검증을 수행하였다. 그 결과 6개의 핵심역량의 정의를 도출하였고, 각 역량 마다 3개의 하위요인을 구성하였으며, 초안 문항을 개발하여 전문가 검토에 의해 개선된 93개의 문항을 구성하였다. 신뢰도 검증 결과 문항내적 합치도는 .890~.960사이로 나타났으며, 문항-총점간 상관분석 결과 .80이상의 지나친 상관을 보이는 문항은 발견되지 않아 다중공선성이 없는 것으로 판단하였다. 탐색적 요인분석 및 확인적 요인분석 결과 구인타당도가 양호한 것으로 검증되었다. 마지막으로 공인타당도 검증 결과 공인된 측정 도구와의 상관이 보통에서 보통이상으로 나타남으로 공인타당도가 양호한 것으로 나타났다.

• 한국실천공학교육학회논문지
• /
• 제1권1호
• /
• pp.72-78
• /
• 2009

프로그램의 교육목표는 졸업 후 3~4년 후에 성취하여야 할 목표로 정의되며 이러한 교육목표 달성도를 평가하기 위한 평가도구는 프로그램 별로 개발을 하여야 한다. 본 논문에서는 프로그램 교육목표 달성도를 평가하기 위한 평가도구로 졸업생 및 산업체 고용주를 대상으로 실시되는 설문루브릭을 이용한 간접평가 방법과 정량적 평가가 가능하도록 현황조사를 이용한 직접평가가 가능하도록 평가방법을 개발하고 다양한 평가 도구를 제안하였다. 제안된 평가도구를 사용하여 기 졸업생 및 산업체 고용주들을 대상으로 모의평가를 실시하여 교육목표 달성도를 평가하여 보았다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2014년도 하계학술대회
• /
• pp.118-121
• /
• 2014

본 논문은 TTA 에서 제정된 "HTML5 기반 스마트 TV 플랫폼" 표준(TTAK.KO-07.0111/R1)에 따라 개발되는 스마트 TV 수신기 앱이 표준의 기술 요구사항을 준수하여 적합하게 구현되고 있는지 검증할 수 있는 앱 검증 도구를 소개한다. 이 도구는 개발자에게 제공되는 통합개발환경에 포함되는 개발 툴의 하나로, 표준기반 스마트 TV 앱의 소스코드를 해석하고 의미를 분석하여, 표준의 기술 요구사항에 따라 정의된 검증 규격(Rule)을 준수하는지 검증해주는 역할을 한다. 도구의 기능범위는 JSLint, JSHint, ESLint 와 같은 기존 Open Source 기반 툴의 문법 검사 기능을 수용하고, 스마트 TV 플랫폼 특성에 따른 미지원 API, 확장 API 사용 및 웹 브라우저에서 지원되지 않는 기능에 대한 검증을 추가하였다. 스마트 TV 앱 개발자들은 이 도구를 사용하여 개발 비용이 적게 드는 초기 단계에 표준을 준수하는 앱을 구현 함으로서 TV 정합 시간을 줄일 수 있으며, 다른 디바이스나 플랫폼으로 앱을 이식하는 작업을 효율적, 경제적으로 할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.125-128
• /
• 2000

본 논문에서는, 워크플로우 모델링에 사용하는 ICN(Information Control Net)을 위한 자바 기반의 워크플로우 모델링 도구의 설계 및 구현에 관하여 기술하였다. 특히, 본 워크플로우 모델링 도구는 기존의 워크플로우 모델링 도구들과는 달리, 인터넷 기반의 실시간 그룹웨어 기술을 통해 일련의 사용자 그룹이 동시에 워크플로우를 모델링 할 수 있는 기능을 제공하고 있다. 즉, 기존의 워크플로우 모델링 기능에 실시간 그룹웨어 특성들을 통합함으로써, 한 차원 높은 수준의 모델링 환경을 제공하고, 이를 통하여 기존의 워크플로우 시스템들이 지원하지 못했던 조직 내의 구성원들간의 협동 작업을 실시간으로 지원할 수 있을 뿐 만 아니라, 요즘과 같이 대형화와 복잡화 그리고 다양화의 특징을 갖는 조직내의 워크플로우(또는 사무업무 프로세스)들에 대한 효율적인 분석 및 모델링 환경을 제공하는데 그 목적이 있다. 또한, 본 도구를 통한 모델링 결과는 WPDL(Workflow Process Definition Language)라는 국제 표준화 워크플로우 정의 언어로 저장됨으로써, 기존의 다른 워크플로우 시스템들과의 상호 호환성을 제공하고자 하였다.

• 인터넷정보학회논문지
• /
• 제2권4호
• /
• pp.25-32
• /
• 2001

ASIC 설계용으로 이미 개발된 여러 CAD 도구 또는 추후 개발될 CAD도구들은 고유의 기능을 가지고 있으며, 서로 다른 환경에서 상이한 방식으로 운영되는 경우가 많다. 따라서 목표하는 최종적인 결과를 도출하기 위한 작업을 수행하기 위해서는 상호 밀접한 관계가 있는 여러 CAD도구들을 하나의 시스템에 통합하여 운영할 수 있는 통합 CAD Framework의 사용이 효과적이다. 본 논문에서는 주로 Unix Shell 상에서 개발된 기존의 국내외 CAD도구들을 Unix 운영체계의 X-windows라는 규격화된 그래픽 인터페이스 상에서 통합하여 수행할 수 있게 하는 기법을 소개한다. 이를 위해 메뉴 구성 및 실행 환경 설정을 위한 각종 파일 양식과 메타 언어를 정의ㆍ개발하였으며, 성능 확인을 위해 기존에 개발되어 있던 두 가지 CAD 도구들을 제안된 CAD Framework상에 통합시킨 Prototype 시스템을 개발하고, 이를 토대로 테스트하였다.

• 한국항행학회논문지
• /
• 제27권5호
• /
• pp.643-648
• /
• 2023

한국형 위성항법보정시스템 KASS(Korea Augmentation Satellite System)은 2023년 12월 국제민간항공기구 표준의 항공용 서비스 제공을 목표로 개발 중인 SBAS 시스템이다. KASS 서비스의 지속적인 제공을 위해서는 시스템의 상태감시가 필수적이며 이를 위해 상태감시 도구가 개발되어야 한다. 상태감시 도구 개발은 목적에 따라 실시간 상태감시, 장기간 상태감시로 구분되어 개발되었다. 도구 개발은 요구사항 정의, 설계, 개발, 검증의 일련의 절차를 통해 완료하였다. 상태감시 도구 검증을 위해 실제 KASS 시스템의 2023년 8월 데이터를 활용하여 검증하였고 그 결과를 통계적으로 분석하여 운영시간, 운영률을 도출하였다. 2023년 이후부터 시작되는 항공용 서비스에 이 도구들을 활용하여 지속적 서비스 제공을 지원할 계획이다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2009년도 추계학술대회
• /
• pp.387-390
• /
• 2009

최근 한국정보통신기술협회(TTA)에서는 지상파 DMB(Digital Multimedia Broadcasting) ECG(Electronic Content Guide) XML(eXtensible Markup Language) 표준의 제정 및 개정 작업을 완료하였다. 지상파 DMB ECG XML 표준은 종래의 DMB EPG(Electronic Program Guide) 표준에서 제공되었던 서비스를 기능적으로 수용하면서 프로그램내의 특정 세그먼트 단위까지 검색 및 브라우징을 통하여 원하는 콘텐트를 보다 효율적으로 접근, 소비 및 저장이 가능하도록 하는 향상된 서비스를 제공하도록 정의하였다. 또한, 단일 포맷에서 모든 DMB 콘텐트 내용들을 결합하는 DMB AF(ISO/IEC 23000-9:2008; DMB Application Format) 파일 포맷을 포함하고 있다. 한국전자통신연구원에서는 이러한 지상파 DMB ECG XML 표준 및 서비스의 유효성 검증을 위해 메타데이터의 저작 단계에서 전송 및 단말에 이르는 맞춤시청형 방송 시스템을 개발하였다. 이러한 일련의 과정에서 DMB ECG 메타데이터는 맞춤시청형 서비스 제공을 위해 전달되는 핵심 요소로써, 디지털방송 콘텐트에 대한 상세 정보의 기술을 위해 새로운 메타데이터를 생성하거나 기존에 생성된 메타데이터를 재편집하는 과정을 효과적으로 수행하기 위한 메타데이터 저작도구가 필수적으로 필요하다. 본 논문은 사용자 친화적인 DMB ECG 메타데이터 및 DMB AF 저작도구의 개발에 대해 기술한다.

• 정신신체의학
• /
• 제19권1호
• /
• pp.3-14
• /
• 2011

연구목적 : 섬망은 병원 내의 임상적 상황에서 만날 수 있는 가장 흔한 정신과적 질환 중 하나이다. 섬망이 고령에서 보다 빈번하게 나타나고 높은 사망률과 연관이 있기에 섬망을 초기에 정확하게 진단하여 치료적 개입을 시행하는 것이 무엇보다도 중요하다. 그러나 이러한 중요성에도 불구하고 여전히 섬망이 잘못 진단되어 지거나 간과되고 있는 것이 사실이다. 치료팀이 섬망을 초기에 정확하게 진단해 내기 위해서는 섬망의 정의, 병태생리 및 여러 가지 다양한 검사 도구들을 특정 내 외과적인 상황에 적절하게 사용하는 것이 중요하다. 본 논문을 통해서 섬망을 조기 진단하기 위한 검사 도구들을 소개하고 임상적 상황에서 섬망을 정확하게 진단해 내기 위한 방안들을 모색해 보고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.291-294
• /
• 2010

표준 코딩 스타일은 개발 단계에서 오류 가능성이 있는 코드를 사전에 차단하고 코드의 가독성을 높여 소스코드의 품질을 높일 수 있는 대표적인 방법이다. 자동차 분야에서는 MISRA-C 와 같은 표준 코딩 스타일이 있으며 이를 검사하는 다수의 도구가 개발되었다. 본 논문에서는 소프트웨어의 안전성 및 신뢰성을 기반으로 국제 및 산업 표준 권고 사항과 경험적인 사례를 바탕으로 가전 기기 소프트웨어에 적합한 코딩 스타일 43 종을 정의했으며 이를 구현한 자동화 도구를 개발했다. 개발된 C 코딩 스타일 검사기를 이용하여 냉장고와 세탁기에 탑재된 소스코드에 대상으로 실험해 개발자들이 쉽게 위배하는 규칙에 대해서 살펴보았다. 위배한 코딩 스타일 중 주석관련 스타일이 각 소스코드 별로 64%, 24%로 가장 많이 차지하고 있으며, 제어문 관련 규칙이 12%, 17%, 코드 모양(Layout)관련 규칙이 4%, 11% 순으로 나타났다. 본 논문에서 개발한 코딩 스타일 검사 도구는 향후 양산되는 제품에 계속적으로 적용될 것이며 소프트웨어 품질 향상에 실질적인 도움이 될 것으로 기대된다.