• Spatial Information Research
• /
• 제8권1호
• /
• pp.117-130
• /
• 2000

본 연구는 교통시설사업의 기본계획에 지리정보시스템(GIS)을 활용한 공간분석(spatial analysis)을 이용하여 교통효율성과 환경영향, 장래 국토계획의 목표, 도시영향 그리고 건설가능성 및 경제성을 통합하여 고려할 수 있는 노선선정의 방법론을 개발하기위하여 시도되었다. 본 논문은 총 4장으로 구성되어 있으며 1 장 서론에서는 연구의 배경, 목적 그리고 연구범위와 방법을 정립하였으며, 2장에서는 교통시설사업의 노선선정 방법론의 개발을 위한 목표설정과 방법론의 수행과정을 설명하였다. 3장에서는 개발된 방법론을 독일의노이스(Neuss)와 그로벤브로히(Grenvenbroich)간의 도로건성을 위한 노선선정 프로젝트에 적용하였으며 본 방법론의 평가와 이용가능성을 결론으로 제시하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2009년도 춘계학술대회
• /
• pp.453-458
• /
• 2009

정보화가 기업 경쟁력의 핵심 요소로 부각되고 있으며 기업 및 정부기관은 앞 다투어 정보화에 투자하고 있는 상황이다. 정보시스템 개발 프로젝트도 이제는 대형 프로젝트 수가 급증하고 있다. 최근 소프트웨어 CMMi 수준에 관한 인증 여부는 기업 경쟁력의 핵심적인 요인으로 그 중요성이 날로 강조되고 있다. 또한 PMI의 PMBOK는 프로젝트 관리의 바이블 격으로 업종 업태를 불문하고 광범위하게 적용되고 있는 상황이다. 프로젝트 관리자의 관점에서 볼 경우 CMMi 모델과 PMBOK 모델간의 중첩되는 부분, CMMi 프로세스를 실적용 시 관리영역에 대한 혼선 부분, 또한 PMBOK 상위지침의 구체성 미흡 부분에 대한 통합 및 조정이 필요하게 되었다. 현재 상용되는 개발방법론에는 관리적인 요소가 매우 미약하고, 국내에 아직까지 체계적으로 정립된 관리방법론이 없는 상황이다. 따라서, 본 논문에서는 프로젝트 관리자가 숙지해야 하는 프로젝트 관리영역, 프로젝트 관리단계, 제반 절차, 유관 정보시스템과의 연동(Interface) 등을 정보화 개발 프로젝트 생명주기(Life Cycle)에 맞춰 재구성 및 통합하여 프로젝트 관리자(Project Manager)에게 일관된 관점(Single Point of View)을 제시하여 프로젝트 생산성을 제고 하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.136-139
• /
• 2010

실시간 시스템에서는 계산 결과의 논리적 정확성과 결과가 산출되는 시간의 정확성을 요구한다. 이러한 요구사항을 지원하기 위해 UCI Dream Lab에서 제안한 적시 서비스 능력을 보장하는 실시간 객체인 TMO 객체를 토대로 자동 코드 생성기의 설계를 제시한다. 기존의 모델 기반 개발방법론은 시스템을 추상화하고 그 모델을 상세화 과정을 거쳐 구현에 필요한 정보를 갖게 되고, 이를 바탕으로 자동으로 코드를 생성 할 수 있게 된다. 기존의 도구들은 표준 UML을 사용하고, 표준 UML은 시간 제약 조건을 기술하는 방법을 제공하지 않기 때문에 이에 따라 개발된 실시간 시스템 코드 자동 생성기는 완전한 코드를 생성하지 못한다. 본 논문에서는 실시간 시스템 개발에 모델 기반 개발방법론을 적용하기 위해 TMO객체를 이용하여 기존 UML 모델의 구조 모델과 행위 모델에 실시간 특성을 추가해 확장하고 확장된 모델을 토대로 자동 코드 생성기의 설계를 제안한다.

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

본 연구에서는 침입차단시스템 제품의 성능 현황을 분석하고 품질평가 기준 및 보안성 품질평가 방법을 개발하고자 한다. 이를 위해 침입차단시스템(FW) 제품 유형을 대상으로 특성 및 핵심 기술 요소를 분석하고 침입타단시스템 제품의 구조 및 응용 기술을 분석한다. 그리고 현황 조사 및 분석을 바탕으로 침입차단시스템 제품의 품질평가 기준과 평가방법론을 개발하였다.

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

온라인상의 교육 시스템이 개발된 이후 다양한 형태의 교육 방법론이 적용되고 있다. 기존의 오프라인 기반 교육 환경을 보완하는 역할에서 단독의 교육 시스템으로 정립되고 있어 많은 적용분야를 보여주고 있다. 본 논문에서는 교육 시스템을 개발한 개발자와 교육 시스템을 이용하는 사용자 사이의 문의형 상호작용 유형을 기반으로 상호작용의 내용은 사용자에 의해 만들어지지만 교육 컨텐츠를 이용한 상호작용의 진행은 사용자가 주도하고, 이러한 환경에서 효과적인 학습을 위해 에이전트 기반의 교육 방법을 적용하여 유도하여 학습효과를 배가 시키고자 한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2003년도 제15회 한글 및 한국어 정보처리 학술대회
• /
• pp.273-278
• /
• 2003

본 논문에서는 한-중 기계번역 시스템에서 사용되는 한중 동사구 패턴의 반자동 생성을 위한 방법론을 제안한다. 한중 동사구 패턴은 한국어와 중국어간의 변환을 위한 정보를 제공할 뿐만 아니라, 한국어의 구문분석과 중국어의 생성을 위해 중요한 정보를 제공하는 고급 언어자원이다. 본 논문에서 제시하는 새로운 패턴 반자동확장 방안은 기존의 한중 동사구 패턴으로부터 대역어 정보를 이용하여 새로운 동사구 패턴을 생성해내는 방법이다. 본 방법론은 시스템 개발 초기에 일반적으로 이루어지는 사전기반 패턴 구축이 끝난 후, 패턴의 커버리지 문제를 해결하기 위해 실용적으로 적용할 수 있는 방법론으로서, 한국어와 중국어 같이 활용 가능한 대역 코퍼스가 아직 많지 않은 경우에 효과적이다. 본 논문에서 제시한 방법론은 실험 결과 67.15%의 정확률과 4.58배의 패턴 확장률을 나타냈다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.486-488
• /
• 2000

본 연구는 정형기법을 사용하여 Safety-Critical System의 개발 방법론을 제시한다. Safety-Critical System의 전체적인 개발 과정을 제시하고 Safety-Critical System 중의 하나인 원자력 발전소 시스템 중 Reactor Protection System(RPS)을 정형 명세(Formal Specification)하고 정형 검증(Formal Verification)하는 과정과 그에 따른 각 과정의 Compliance를 확인하는 예를 든다. 여기서 정형 명세에는 Software Cost Reduction(SCR)이하는 도구가 사용되었고, 정형 검증에는 SPIN이, Compliance를 확인하는 데에는 Prototype Verification System(PVS)를 사용하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.255-257
• /
• 1998

이동 통신 서비스의 통화 품빌을 개선하기 위해서는 무선 기지국의 유지.보수가필요하다. 이를 위해서는 기지국 및 단말기의 CDMA 필드 데이터를 측정하여 분석하는 툴을 필요로한다. 본 논문에서는 측정된 CDMA 필드데이처를 벡터지도에 표시하고 분석에 필요한 여러 가지 정보들을 조회할 수 있는 기능과 측정 데이터의 통계 처리 기능을 가지는 분석툴을 개발한다. 이러한 시스템의 설계 및 개발을 위해서 객체 지향 방법론을 사용한다.이러한 분석 툴을 이용함으로써 최적화된 셀설계를 위한 무선기지국의 효율적인 유지.보수가 이루어 질 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.187-189
• /
• 2007

늘어나는 사용자의 요구를 충족시키고, 차별화된 서비스를 제공하기 위해 산업 전반에 걸쳐 정보기술의 적용이 확대됨에 따라 임베디드 소프트웨어 제품의 활용이 급격히 증가되고 있다. 이에 따라 각 기업에서는 기존 자사 제품의 생산에서 시장 적시성과 고품질을 달성하기 위한 체계적인 임베디드 소프트웨어 개발에 대한 요구가 점차 증가하고 있으나 그에 따른 기술 및 인력의 부족으로 많은 어려움을 겪고 있는 실정이다. 본 논문에서는 이러한 문제 해결에 일조하기 위해 한국전자통신연구원에서 최근에 개발한 제품계열기반의 임베디드 시스템 개발 방법론의 개념, 프로세스 등을 제시하고자 한다.

• 정보보호학회논문지
• /
• 제23권2호
• /
• pp.287-298
• /
• 2013

주요 국가기반 산업분야에서 운용중인 제어시스템은 다양한 제어 기능을 수행하고 있으며, 최근 제어시스템에 가해지는 다양한 위협이 가해지고 있는 실정이다. 제어시스템의 안전한 운용을 보증하기 위하여 제어시스템의 안전성을 검증할 수 있는 보증방법의 개발이 절실히 필요하다. 본 연구는 제어시스템의 특성을 반영한 정보보안평가 절차 및 방법론을 제시하고, 체크리스트로 구현을 통해서 절차 및 방법론의 효과성을 검증한다. 동 연구가 제시하는 제어시스템의 정보보안 평가 절차 및 점검체크리스트는 제어시스템 운용자 및 보증 평가자가 제어시스템의 개발 과정 및 운용의 안전성을 담보할 수 있는 보증 활동시에 사용할 수 있다.