• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.601-603
• /
• 2001

본 논문은 컴포넌트 S/W의 저장, 관리, 유통 활성화를 위하여 컴포넌트 명세서를 규격화하고 규격화된 컴포넌트 명세서를 표준 메타언어인 XML 기반으로 모델링하는 것이다. 클래스 라이브러리의 한계점들을 극복하고 소프트웨어 재사용성을 향상시키기 위한 단위로 만들어진 컴포넌트 단위의 재사용 기법의 XML 기반의 컴포넌트 명세서로 인해 더욱 활성화 될 수 있을 것이다. 또한, 컴포넌트 메타데이터 및 리소스 정보, 외부 인터페이스들의 논리적 구조 및 시맨틱 표현기법을 연구하고 컴포넌트 명세서 표현을 위한 메타데이타 모델을 근거로 컴포넌트 명세서를 효과적으로 생성할 수 있는 GUI 기반 명세서 기반 도구를 설계한다.

• 전자통신동향분석
• /
• 제11권3호통권41호
• /
• pp.167-179
• /
• 1996

본 고에서는 1999년 특허청에서 전자출원제도가 실시될 예정에 따라 발명자가 직접 명세서를 작성할 수 있도록 명세서 작성에 따른 유의사항을 중심으로 특허법에 명시된 명세서 구성요소에 의거 그 작성방법을 기술하였다.

• 한국산학기술학회논문지
• /
• 제5권6호
• /
• pp.499-503
• /
• 2004

실제 시스템 개발현장에서는 사용자 요구사항과 관련 자료의 분석을 시작으로 크게 네 가지 단계 즉, 분석, 설계, 개발, 구현단계별로 각종 명세서들을 작성하고 있다. 명세서 일부는 자동화된 도구를 사용하여 연속적으로 작성되기도 하지만 모든 명세서가 자동화로 작성되는 것은 아니다. 이로 인해 작성되는 명세서간에는 많은 불일치 항목이 발생한다. 본 논문에서는 시스템을 개발할 때 각 단계별로 작성되는 명세서에 포함된 오류를 검출하는 방안을 제안하고, 이를 기초로 명세서 오류 검출 시스템을 설계 및 구현한다.

• 한국컴퓨터정보학회논문지
• /
• 제7권2호
• /
• pp.34-39
• /
• 2002

본 논문은 컴포넌트 명세서 구문구조를 XML 기반으로 모델링 하였다. 즉, 컴포넌트 명세서 구문구조를 XML 문서형 정의(DTD) 문법에 맞도록 컴포넌트 명세서 DTD를 제안하였으며, DTD 구조에 유효한 컴포넌트 명세서 XML 문서 예를 제시하였다. 그리고 XML기반 컴포넌트 명세서 문서를 편리하게 생성, 관리할 수 있는 지원도구의 기본 아키텍쳐를 설계하였다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2004년도 추계학술대회
• /
• pp.185-187
• /
• 2004

소프트웨어를 개발할 때 작성되는 명세서들은 개별특성으로 인해 연속적인 자동화가 이루어지지 않으며, 소프트웨어 감리에서도 많은 불일치 항목이 발견된다. 본 논문에서는 분석 및 설계단계에서 작성되는 명세서간 불일치를 검출하기 위해 시스템 개발과정에 대해 실시한 감리결과 보고서를 분석하여 불일치가 발생하는 연관된 명세서를 내용별로 분류하고, 이를 바탕으로 분석, 설계, 테스트 단계별로 사용되는 명세서간 불일치 추출방안을 제안한다. 이를 이용하면, 분석 및 설계단계에서 작성되는 명세서의 오류를 줄임으로써 최종산출물인 소프트웨어에 대한 품질을 향상시킬 수 있다.

• 발명특허
• /
• 제10권12호통권118호
• /
• pp.36-39
• /
• 1985

• 발명특허
• /
• 제10권10호통권116호
• /
• pp.32-35
• /
• 1985

• 정보보호학회지
• /
• 제10권3호
• /
• pp.63-74
• /
• 2000

정보보호관리자에 대한 직업교육훈련 프로그램을 개발하기 위해서 정보보호관리자에 대한 직무분석에 대한 체계적인 직무준석을 실행함으로서 정보보호관리자의 직무정의 직무흐름도. 직업명세서, 직무명세서, 작업명세서를 도출하였다 정보보호관리자의 직무는 4가지 책무와 13가지 작업으로 분석되었고 교육훈련 프로그램으로 18가지 교육내용과 7가지 교육과정이 제시되었다.

• 한국정보처리학회논문지
• /
• 제6권6호
• /
• pp.1520-1531
• /
• 1999

본 논문에서는, 객체 지향 설계 명세서를 대상으로, 안전성 검증 방법을 제안하였다. 먼저 검증의 대상으로 하는 폴트를 명확히 하기 위해, 요구 명세서와 설계 명세서사이에 발생 가능한 불일치를 분석한다. 다음, 설계audtptjdp 포함된 폴트를 발견하기 위한 새로운 설계 레뷰 방법을 제안한다. 제안한 검증 방법의 특징은 검증될 모든 요소가 대상 프로덕트의 요구 명세서, 안전성 기준, 그리고 설계 명세서에 기반을 두고 추출될 수 있다는 것이다. 이러한 정보가 표의 형식으로 작성되기 때문에, 검증 단계를 단순화 할 수 있다. 여기에서, 컴포넌트 라이브러리, 안전성 기준, 그리고 Booch의 설계 방법에 의해 작성된 설계 명세서가 주어졌다고 가정한다. 먼저, 설계 레뷰를 하는 검증자가 정확성 검증표와 안전성 검증표를 작성한다. 한편 설계자는 설계 검증표를 작성한다. 이렇게 작성된 3개의 검증표를 이용하여, 설계 단계에 포함되어 있는 폴트를 검출한다. 마지막으로 Case study를 통하여 제안한 검증방법의 유효성을 평가하였다.

• 전자진흥
• /
• 제16권8호
• /
• pp.30-40
• /
• 1996