http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
장종표,이상준,김병기 한국정보처리학회 2001 정보처리학회논문지D Vol.8 No.1
소프트웨어 위기를 해결하기 위한 한가지 대응책으로 최근 컴포넌트기반 소프트웨어공학(혹은 컴포넌트웨어)이 등장하였다. 컴포넌트기반 소프트웨어공학을 이루는 관련 기술들 중 하나로써 컴포넌트기반 소프트웨어 개발 프로세스들이 제안되고 있다. 컴포넌트기반 소프트웨어 개발 프로세스중 컴포넌트 명세활동은 재사용 가능한 컴포넌트를 생성하기 위해서 꼭 필요하며 매우 중요한 활동이다. 그러나, 기존의 컴포넌트기반 소프트웨어 개발 프로세스에서는 컴포넌트 명세를 자연어로 기술함으로써 명세에 있어서 정확성을 갖지 못했고 사용자의 요구사항이 제대로 반영되었는지 검증할 수 있는 방법을 제공하지 못하고 있다. 본 논문에서는 정형방법에서 사용되고 있는 분석력과 논리성이 검증된 정형 명세 언어 Z를 이용하여 컴포넌트를 명세 하는 정형 활동을 제안하였다. 제안 활동은 5개의 태스크와 12개이 서브태스크들로 구성되며 10개의 산출물을 구체적으로 제시함으로써 재사용을 위한 컴포넌트 기반 소프트웨어 개발의 기초가 되는 컴포넌트 정형 명세 활동을 제안하였다. 제안 활동은 컴포넌트기반 소프트웨어 개발 프로세스의 초기단계에 사용자의 요구사항 명세의 정확성과 검증을 통하여 컴포넌트의 품질을 향상시킬 수 있다. As a plan to counteract solving software crisis, the technology that is called Component Based Software Engineering (CBSE or Componentware) is introsuced. Component Based Software Developement (CBSD) Processes as one of the technique among CBSE have been proposed. Component specification activities among CBSD Processed are necessary and important for generating feusable component. However, the existing CBSD processed can't ensure the correctness in requirements are reflected. In this paper, we propose that formal activities wgich specify component using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 5 tasks and 12 subtasks. By presenting specific 19 products, it is also proposed that component specification activities which are the base of CBSD for reusing. The proposed activities are able to improve qualities of component through correctness and verification of requirements specification of users in the early step of component-based software process.
장종표,방만원,방상원 木浦大學校 情報産業硏究所 1996 情報産業硏究誌 Vol.4 No.-
객체 지향 방법은 많은 장점을 가지고 있지만, 지금까지 발전시켜온 전통적인 방법을 버릴수 없다든지, 객체 지향 기법의 전문가가 많지 않기 때문에 성공의 보장도 확실하지 않는 이유들 때문에 시스템 개발에 쉽게 수용 하지 못하고 있다. 구조적 분석 방법을 객체 지향방법으로 변환하려는 노력이 많아지고 있지만 정형화된 방법은 없다. 본 논문에서는 전통적인 구조적 분석 모델로부터 객체 지향 모델로의 변환방법을 검토하고 구조적 분석 모델, 즉 자료흐름도,자료사전,개체관계도 모델로부터 객체지향의 대표적 모델인 OMT의 객체모델로의 사상에 대한 새로운 방법을 제안한다.