http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
배성진,강교철,Bae, Sungjin,Kang, Kyo Chul 한국정보과학회 소프트웨어공학 소사이어티 2013 소프트웨어공학회지 Vol.26 No.2
소프트웨어 제품라인공학은 재사용성에 초점을 맞추어 소프트웨어의 높은 품질과 생산성을 만족시킬 수 있는 방법으로 제안되었다. 소프트웨어 제품라인에서 제품 구성 방법은 휘처모델로부터 주어진 제품을 위해 가장 최선의 휘처와 휘처속성을 선택해 나가는 프로세스이다. 성공적인 제품 개발을 위해서는 제품의 목표를 달성할 수 있는 휘처와 휘처 속성을 선택하는 것이 중요하다. 하지만 수천개의 휘처와 휘처 속성이 존재하는 경우에는 최적의 제품 구성을 하는 것이 매우 어렵다. 그렇기에 본 연구에서는 휘처와 휘처 속성간의 관계를 기반으로 제품의 목표를 달성하게 하는 휘처와 휘처 속성의 구성 조합을 찾는 휘처 구성 방법을 제안하여, 보다 정확한 제품의 목표 달성에 기여하는 휘처 구성이 될 수 있도록 한다. Software product line (SPL) engineering is a reuse paradigm that helps organizations increase productivity and improve product quality by developing product from reusable core assets. In SPL, product configuration is the process of selecting the desired features and feature attributes for a given product from a feature model. In order to develop a successful product, feature and feature attribute selection that can achieve the product goal is important. There can be thousands of features and feature attributes resulting in myriads of configurations and finding the best configuration efficiently is a hard task. This paper proposes a systematic process for feature-based product configuration. To support development of a product that satisfys all product goals(business goals and quality goals), a model showing how feature and feature attribute combinations are related to product goals is included and a method for deriving an optimal product configuration using the model is proposed.
이혜선 ( Hyesun Lee ),강교철 ( Kyo Chul Kang ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.2
소프트웨어 제품라인의 핵심 자산을 개발할 때 제품라인에 포함된 휘처 사이의 관계를 고려하여 핵심 자산을 개발하지 않으면, 한 휘처의 변화가 핵심 자산의 많은 부분에 영향을 미칠 수가 있고, 미처 고려하지 못한 휘처 관계에 의해 제품이 동작중에 의도치 않은 문제가 발생할 수 있다. 휘처 사이에 존재할 수 휘처 관계 타입을 미리 알고 있다면, 실제 휘처 관계를 분석할 때 도움이 되고, 각 타입별로 어떻게 핵심 자산을 개발해야 하는지 가이드라인을 제시할 수 있다. 기존에 많은 연구자들이 휘처 관계 타입을 제시하였지만 아직까지 제안된 휘처 관계 타입들을 비교하고 분석하는 연구가 이루어지지 않았다. 이에 본 논문에서는 지금까지 제안된 휘처 관계 타입들을 살펴보고, 제안된 관계 타입들을 비교 및 논의하고자 한다. 또한 기존에 제안된 휘처 관계 타입 중 휘처 사이의 관계로 보기 어렵거나 중복이 되는 타입을 제외하여 휘처 관계 타입 리스트를 정리 및 제안하였다.
MICOM 응용 소프트웨어를 위한 객체에 기반한 구조적 분석
장세찬(Sey-Chan Jang),강교철(Kyo-Chul Kang) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1
전자 제품이 점차 자동화되어감에 따라 MICOM을 이용하는 분야는 급증하고 있으며, MICOM에 대한 사용자의 요구 사항 또한 복잡하고 다양해질 뿐만 아니라 빠르게 변화하고 있다. 그러나, 아직까지 MICOM 소프트웨어의 개발은 대부분 소프트웨어 공학의 기법들을 이용하지 않고 개발되고 있어 사용자의 급변하는 요구 사항을 충족시켜주는 데 비효율적이며, 재사용 비율도 떨어지고 있다. 따라서 본 논문에서는 MICOM 을 이용한 소프트웨어 개발의 생산성을 향상시키고, 재사용성 및 소프트웨어 관리의 효율을 높이기 위해 객체에 기반한 구조적 분석방법을 제시한다. 이러한 방법은 구조적 분석 방법의 장점을 가지고 있을 뿐만 아니라 객체를 기반으로 하고 있기 때문에 재사용성 및 소프트웨어 관리상의 효율을 높일 수 있으며, 급변하는 사용자의 요구 사항을 반영하기에도 좋다.
STATECHART의 실시간 성질의 정형적인 명세와 증명방법
고광일(Gwang-Il Ko),강교철(Kyo-Chul Kang) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.2B
고도의 안전성과 신뢰성이 요구되는 실시간 소프트웨어 시스템을 분석하는데 있어서 가장 중요한 문제는 분석되어진 결과의 올바름을 증명하는 것이다. 이런 문제를 해결하기 위해서 많은 소프트웨어 공학자들이 수학적인 정형성을 이용하여 분석을 수행하고, 분석결과를 증명하는 방법을 소개해왔는데 현대의 복잡하고 규모가 큰 실시간 시스템에 적용하기에는 많은 문제점들이 있다. 이에, 본 논문은 실시간 시스템의 행동을 명세하는 데 Statechart를 사용하고 실시간 시스템의 실시간적 성질을 명세하는 데 RTTL을 사용하는 Statechart/RTTL 방법을 소개하고, 이 방법으로 Train-Gate System의 안전성(safety)을 증명하는 것을 예로 보인다.
정현석(Hyun-Seok Jung),강교철(Kyo-Chul Kang) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1
소프트웨어 리엔지니어링의 목적중 하나는 시스템의 정비성 향상이다. 최근들어 시스템 개발비에 비하여 정비비의 급속한 증가로 말미암아 산업체뿐 아니라 시스템을 사용하는 대부분의 관련 분야에서 정비비 감축에 적잖은 어려움을 겪고 있다. 그러나 현재까지 소프트웨어 리엔지니어링에 있어서 실제 적용에 가능한 지침이 부족한 상태에 있어서 대부분이 임시변통식으로 적용이 이뤄져왔다. 따라서 본 논문은 이러한 문제점을 해결하기 위한 하나의 실제적 시도로써 노후화된 산업현장의 프로세스 컴퓨터를 기능위주로 재분석하여 조업공정에 더욱 효과적인 형태의 새로운 시스템구축을 목적으로한 소프트웨어 리엔지니어링 경험을 통해 얻어진 시스템 요구사항 분석 및 분산실시간 시스템디자인에 대한 가이드라인을 제시한다.
PARTS - 실시간 소프트웨어 시스템의 다시각적 분석 방법
고광일(Gwang-Il Ko),강교철(Kyo-Chul Kang) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1
컴퓨터 소프트웨어 시스템의 경향이 점점 규모가 크고 복잡한 실시간 소프트웨어 시스템으로 흘러가고 있기 때문에 풍부한 시간 표현의 능력, 사용자의 정확한 요구사항 파악의 능력, 분석된 실시간 소프트웨어 시스템의 정형적인 일관성과 완전성 검사의 능력, 그리고 분석을 수월하게 하는 능력 등을 갖춘 실시간 소프트웨어 시스템의 분석방법이 필요하게 되었다. 본 논문에서는 소개하는 PARTS는 실시간 소프트웨어 시스템을 사용자 중심의 외부적 관점, 분석자 중심의 내부적 관점 그리고 실시간 소프트웨어 시스템의 행동의 제약들에 대한 제약적 관점들로 분석을 하고, 각 관점 분석들마다 유용한 분석도구들을 제공한다. 또한 이들 3가지 관점 분석들을 모두 논리로 바꾸어 일관성 및 완전성을 검사하는 방법을 제공함으로써 위의 규모가 크고 복잡한 실시간 소프트웨어 시스템 분석방법의 필요한 능력들을 갖추고있다.