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

컴포넌트 기반의 소프트웨어가 개발되어짐에 따라 소프트웨어공학 측면에서 컴포넌트 기반의 소프트웨어 개발을 위한 컴포넌트 기반 소프트웨어공학(CBSE: Component Based Software Engineering)에 대한 연구가 진행되고 있다[1]. 컴포넌트 기반의 소프트웨어를 개발하는데 있어서 최대한 효율성과 생산성을 증가시키기 위해서는 개발초기, 즉 요구사항 분석단계에서 기존에 개발되어진 컴포넌트들 중에 사용자가 요구하는 역할을 수행하는 적절한 후보 컴포넌트를 추출할 수 있어야 한다. 따라서 본 논문에서는 XML의 특성을 활용한 요구사항과 컴포넌트 명세 언어를 정의하고 이를 통해 정형화된 요구사항으로부터 시스템 개발에 필요한 컴포넌트들을 추출하는 방안을 제시하고자 한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.531-538
• /
• 2009

국내 소프트웨어 시장은 소프트웨어 제품의 품질 불만과 수익성 악화라는 악순환의 고리에서 헤어나지 못하고 있다. 산업계 및 학계에서는 문제의 주된 원인이 소프트웨어 사업 초기의 불명확한 요구사항에 있음을 인식하고, 사업 초기부터 개발 범위 및 내용, 품질 목표 등을 명확히 설정하고 이를 요구사항 명세서에 충실히 반영할 것을 강조하고 있다. 본 연구에서는 보다 명확한 요구사항의 명세와 요구사항의 효과적인 관리를 위해 국내외의 다양한 형태의 요구사항 명세서를 분석하고, 이를 바탕으로 개발 범위의 명확화, 품질의 정량화, 요구사항들간의 연결/추적관리, 명세의 편이성이 제고된 요구사항명세 표준지침을 개발하였다. 제안하는 표준 병세서는 분할 발주 또는 일괄 발주 등 다양한 소프트웨어 사업 프로세스에 적용할 수 있는 장점이 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권6호
• /
• pp.750-759
• /
• 2004

원자력 발전소의 디지털 제어 시스템에 적용되는 소프트웨어는 안전성이 중요시되는 safety-critical 소프트웨어로, 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세 하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 원자력 발전소 디지털 제어 시스템 소프트웨어의 요구 사항 명세에 적합하도록 개발된 정형명세 기법인 NuSCR을 논의한다. 또한, 개발된 NuSCR의 적용성을 검토하기 위해, 현재 KNICS 사업단에서 개발중인 발전소보호계통 소프트웨어의 요구사항을 정형 명세 한 경험을 소개하고 있다. 또한, 원자력 도매인에 특화된 정형명세 기법인 NuSCR의 우수성도 실례를 들어 설명하고 있다.

• 융합보안논문지
• /
• 제5권3호
• /
• pp.67-73
• /
• 2005

소프트웨어 개발시 내재될 수 있는 취약성을 최소화하기 위해서는 요구사항 분석단계에서부터 보안 요구사항을 잘 정의하여야 한다. 본 논문에서는 객체지향 개발 방법론에서 소프트웨어 보안 요구사항 명세를 위한 체계적인 방안을 제시한다. 본 논문에서 제시한 방안은 크게 보안 목표 설정, 위협식별, 공격트리 작성 그리고 보안기능 명세로 이루어진다. 이 방법을 이용하면 소프트웨어가 가져야 할 보안 요구사항과 기능을 보다 명확하고 체계적으로 작성할 수 있다.

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

본 논문은 전자제어 시스템들의 소프트웨어의 설계 및 구현 과정에서 나타날 수 있는 의사 전달의 애매모호함을 줄여 요구사항 명세와 구현 시스템 사이의 불일치를 없애기 위한 실시간 제어 소프트웨어의 정형 명세 기법을 제안한다. 실시간 제어 시스템 이론은 미적분학에 바탕을 두고 있는 반면, 실제 동작은 대다수 임베디드 프로세서에 의해 동작함에 따라 제어기의 설계 시 고안된 연속적인 미분 방정식의 이산화 과정을 거쳐 소프트웨어로서 구현이 된다. 이 때, 시스템 설계 엔지니어와 소프트웨어 구현 엔지니어 사이의 이해도의 불일치와 구현 엔지니어의 시스템 이론의 이해 부재로 시스템에 심각한 오류를 야기할 수 있다. 이에 본 논문에서는 이러한 실시간 제어 시스템의 기능 및 동작에 대한 그래픽 기반 정형적 명세 기법을 제안하여 요구사항 명세 과정에서 구현 방식을 구체화하는 방향을 제시한다.

• 정보과학회 논문지
• /
• 제44권1호
• /
• pp.27-35
• /
• 2017

사용자 및 기기의 상황을 파악하고 이에 따라 실시간으로 사용자 인터페이스를 변경하는 '적응형 사용자 인터페이스 (Adaptive User Interface)' 연구가 진행되어 왔다. 기존 관련 연구들은 주로 설계 방법론에 초점을 맞추고 있으며, 요구공학 방법론에 대해서는 거의 다루어지지 않았다. 본 연구에서는 적응형 사용자 인터페이스를 요구공학 관점에서 조명하고, 자가 적응 시스템 분야에서 연구되어 온 개념들에 기초한 요구사항 도출 및 명세 방법을 제안한다. 잘 알려진 자가 적응 소프트웨어 개념들을 재정의 및 해석한 후, 적응형 사용자 인터페이스 요구사항을 도출 및 명세하는 방법을 단계적으로 보인다. 사례연구에서는 제안하는 방법에 따라 적응형 사용자 인터페이스 요구사항을 도출 및 명세하여 본 기법이 효과적임을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권2호
• /
• pp.108-118
• /
• 2005

원자력 발전소의 디지털 제어 시스템은 안전성이 중요시되는 safety-critical 소프트웨어로서 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 정형명세 기법인 NuSCR을 이용해서 작성된 요구사항 명세로부터, 설계 단계의 내용으로 사용될 수 있는 PLC 기반의FBD 프로그램을 체계적으로 생성하는 기법을 제안하고 있다. 제안된 기법은 기존의 수동 명세 작업에서 발생할 수 있는 오류들을 크게 줄일 수 있으며, 소프트웨어의 개발 비용과 기간을 줄일 수 있다. 또한, 제안된 기법의 유용성을 증명하기 위해서, 현재 KNICS에서 개발 중인 DPPS RPS의 BP를 구성하는 트립 논리 중의 하나인 고정 설정치 상승 트립을 예제로 설명하고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.1753-1756
• /
• 2003

소프트웨어 생산성과 품질을 개선하기 위한 방안으로 컴포넌트 기반의 소프트웨어 개발이 전개되고 있다. 소프트웨어 컴포넌트 라이브러리를 재사용하기 위해서는 재사용 가능한 컴포넌트를 효율적으로 수집하여 분류, 저장, 검색하여야한다. 기존의 요구사항 정형화 기법들은 요구사항들 간의 의미적 관계를 표현하는 데 초점을 맞추고 있어 컴포넌트 검색에는 적합하지 않으므로 본 연구에서는 개발하려는 유즈케이스 다이어그램을 구문분석을 거쳐 명세하여 질의 정보를 추출하였다. 기존의 자연어를 기반으로 하는 컴포넌트의 비정형적인 명세를 컴포넌트 검색과 조립에 필요한 정보를 효율적으로 얻을 수 있도록 구문분석과 추상화 단계를 거쳐 정형화된 중간형태의 명세로 전환하고 제안한 유사도를 사용하여 컴포넌트를 검색하고자 한다. 또한 개괄명세와 상세명세를 통해 컴포넌트 검색에 필요한 정보를 추출할 뿐만 아니라 컴포넌트의 aspect을 이용하여 컴포넌트 조림에 필요한 정보도 얻을 수 있다. 2차 질의를 통해 컴포넌트 검색의 정확도를 향상시키고 명세를 추상화시켜 검색의 재현율을 향상시킨다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.337-339
• /
• 2004

항공 및 국방 산업 둥에서는 고안전성 임베디드 시스템의 신뢰성과 안전성을 보장하기 위해 임베디드 시스템의 설계 및 구현에 정형기법을 적용하고 있다. 본 논문은 그러한 정형기법을 적용하여 임베디드 시스템 소프트웨어의 요구사항 명세(Software Requirements Specification : SRS)와 요구명세를 바탕으로 실제 구현을 위한 설계명세(Software Design Specification : SDS)를 정형기법을 이용하여 명세하였다. 본 논문은 정형 명세 언어로 작성된 요구명세와 설계명세 간의 부합성 검사를 하고 더 나아가 임베디드 시스템 요구 분석에서 더 정확하게 소프트웨어를 구현할 수 있는 방법을 제시하고자 한다.

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

임베디드 시스템 소프트웨어 개발과정에서, 자연어로 작성된 요구명세와 소프트웨어 엔지니어와 하드웨어 엔지니어 사이의 서로 다른 언어와 개발도구의 차이로 인해 많은 문제들이 있어왔다. 즉, 개발자의 실수로 설계가 잘못 명세 되었거나 요구명세와 실제 구현된 시스템 소프트웨어의 인터페이스 코드나 요구된 수행이 일치하지 않았다. 이를 해결하기 위해 본 논문에서는 정형기법을 이용하여 요구사항을 명세하고 설계를 검증함으로써 개발자의 실수로 인한 오류를 줄이고 개발된 시스템 소프트웨어의 인터페이스 코드 및 수행이 요구명세를 만족함을 보이도록 정형기법을 이용한 개발 프레임워크를 제안하고자 한다.