• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.601-603
• /
• 2001

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

• Electronics and Telecommunications Trends
• /
• v.11 no.3 s.41
• /
• pp.167-179
• /
• 1996

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

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.5 no.6
• /
• pp.499-503
• /
• 2004

In the actual system development site, the various specifications are drawn up into each phase, namely analysis, design, development and implementation, beginning with the analysis of user requirements and data involved. The part of the specifications are continuously drawn up by using automated tool, but all specification are not automatically drawn up. Therefore, many inconsistent items occur between the specifications. In this paper, we propose the method which detects the error which is included in the specifications, and we are going to design and implement a specification error detection system based on this.

• Journal of the Korea Society of Computer and Information
• /
• v.7 no.2
• /
• pp.34-39
• /
• 2002

This paper proposed a kind of software component specification method based on XML. We define a document type definition(DTD) of software component specification for the XML representation of a component. The semantic relationship of the component elements in diagrams of component specification must be Presented by the XML tag. This paper also designs the supporting tool for the representation of the software component specification.

• Proceedings of the KAIS Fall Conference
• /
• 2004.11a
• /
• pp.185-187
• /
• 2004

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

• 발명특허
• /
• v.10 no.12 s.118
• /
• pp.36-39
• /
• 1985

• 발명특허
• /
• v.10 no.10 s.116
• /
• pp.32-35
• /
• 1985

• Review of KIISC
• /
• v.10 no.3
• /
• pp.63-74
• /
• 2000

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

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• Journal of Korean Electronics
• /
• v.16 no.8
• /
• pp.30-40
• /
• 1996