• 정보보호학회논문지
• /
• 제20권1호
• /
• pp.113-121
• /
• 2010

시스템 명세 기법은 시스템의 구조와 행위특성을 형식적인 표현을 통해 제시하기위해 사용되는 시스템 이론 기반의 정형화된 표현 기법이다. 시스템 명세 기법을 시스템의 설계 단계에서 활용할 경우, 계층적이고 모듈화된 시스템에 대한 정의와 유지보수의 용이성 확보가 가능하여 합리적인 개발이 가능하게 된다. 본 연구에서는 개인정보 사용의 위험 상황을 모바일 장치를 이용하여 정보의 소유자에게 알려주고, 이에 대한 응답을 관리하는 기술을 제시하고 있다. 특히, 모바일 장치가 갖는 제약사항을 해결하기 위한 메시지의 형식을 정의하여 제시하였다. 본 기술이 적용된 알람 시스템은 계층적이고 모듈화된 형태로 모델링하기 위해 시스템명세를 기반으로 하였다. 또한, 시스템 명세화 기법 기반의 설계를 통해 알람시스템을 개발하고 본 시스템의 효율성을 검증 하였다. 본 논문의 기여도는 시스템명세기법을 사용한 개인정보 유출상황의 유연성 있는 표현과 관리를 가능하게 한 시스템의 설계 및 구현에 있다.

• 한국콘텐츠학회논문지
• /
• 제5권5호
• /
• pp.51-58
• /
• 2005

소프트웨어 개발방법이 컴포넌트기반 개발방법으로 진화하고 최근 들어 형상관리 시스템의 도입이 대두되고 있다. 본 논문은 컴포넌트기반 개발방법론에서 발전한 컴포넌트 형상관리를 다루고 컴포넌트 명세는 정규화된 문서인 XML을 기반으로 하고 있다. 컴포넌트 버전관리와 의존관리는 컴포넌트 이름으로 수행하였다. 컴포넌트 의존정보는 컴포넌트 명세가 합성될 때 합성에 사용된 컴포넌트 이름을 사용하여 이를 반영하고 의존정보로 사용하여 명세서를 통한 버전관리와 의존관리의 가능을 확인하였다.

• 정보처리학회논문지D
• /
• 제8D권4호
• /
• pp.421-426
• /
• 2001

정형적 개발 방법론은 소프트웨어를 정확하고 체계적으로 개발하기 위하여 사용되며 시스템을 정형 명세 언어를 사용하여 맹세하고 이를 구현할 때까지 점진적으로 시스템을 구체화하는 방법으로 개발한다. VDM은 정형 명세 언어의 하나로서 set, sequence, map의 수학적 추상적 자료구조를 사용하여 시스템을 명세하는데 대부분의 프로그래밍 언어는 이런 자료구조를 가지고 있지 않다. 그러므로 이들 자료구조들의 변환이 필요하며 VDM의 수학적 자료구조들은 프로그래밍 언어의 자료구조인 연결 리스트로 변환 할 수 있다. 본 논문에서는 VDM의 set, sequence, map의 자료구조를 프로그래밍 언어의 자료구조인 연결 리스트로 변환하는 방법과 그 변환의 타당성을 수학적으로 증명하였다.

• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.33-40
• /
• 2018

This paper is based on the interim result of ongoing research and development project to develop a software system which support procurement activities, namely PeMSS (Procurement Engineering Management Support System). PeMSS is a system that enables development requirements for each equipment and help designing equipment meeting the purchase requirements. Procurement at EPC (Engineering Procurement and Construction) and operational stage of a plant is an important area that determines the integrity and profitability of the plant. Procurement of unsuitable equipment due to selection of suppliers that do not meet or omit critical requirements in purchase specification can result in enormous cost increase due to such as delay in EPC project, unsatisfactory performance and reduced plant operation time. In spite of the importance of the procurement engineering, there is a lack of support system for systematic preparation of purchase specification, so development of the procurement specification is basically relying on the experience of the engineers in charge. Accordingly, it is needed to develop the PeMSS to help procurement engineers develop procurement specification based on systems engineering approach. This paper introduces the design of the PeMSS.

• 한국국방경영분석학회지
• /
• 제33권1호
• /
• pp.135-155
• /
• 2007

성능형 규격이란 재료, 공정 등의 구체적인 사양에 대한 명시가 없이 최종적인 요구성능, 환경 및 연동되는 부분의 호환성 확보에 대한 규제만을 함으로써 우수한 민수기술의 도입을 통하여 경제적이고 높은 신뢰성을 달성하고자 활용되는 규격으로 이미 선진국에서는 많이 작성되어지고 기존의 상세형 규격의 성능형 규격 전환도 활성화되고 있는 실정이다. 그러나 우리나라의 경우 규격 작성시 성능형으로 작성토록 규정화하고 성능형 규격 작성지침을 마련하는 등 성능형 규격 작성의 활성화에 많은 노력을 기울이고 있으나 현재까지의 작성 및 활용 실적을 보면 매우 미흡한 실정이다. 따라서 성능형 규격의 효과적인 작성/전환을 위하여 시장조사 방안, 무기체계개발 또는 부품국산화에 따른 성능형 규격 작성 방안, 성능형 규격 전환 방안, 성능형 규격 전환을 위한 절차와 방법, 성능형 규격과 상세형 규격의 혼합형태 활용을 제시하였다.

• 한국IT서비스학회지
• /
• 제1권1호
• /
• pp.141-148
• /
• 2002

As an optimun alternatives for the solution of recent software crisis, we have to develop component technologies so as to develop and propagate business components for various domains to industries. For the sake of development of business components, a conceptual architecture which defines a model for component assembly should be prescribed first, and a systematic specification method based on this model be defined, so we can build a system environments for making specifications and development of each component by the consistent scheme. In this study, we propose a domain architecture model for implementing the pUblic component bank as a project supported by the ministry of information and communication, discuss the conceptual model of specification for developing components of storing component bank, specification steps, specification approach for application of business domains and the development results of them.

• 한국군사과학기술학회지
• /
• 제18권6호
• /
• pp.771-778
• /
• 2015

In this paper, we have proposed a design method for standardization of weapon information exchange between a weapon control computer of guided missile system and a high echelon command and control system. Because the weapon control computer based on diverse combat platforms is operated with several kinds of a high echelon system, it is necessary to provide a standardized design method for weapon information exchange between mutual system. In fact, it is possible to standardize a interface design specification of weapon information message because weapon information message is closely related to standard tactical data link message. It is essential that the interface design specification of weapon information is submitted to that of tactical data link information. It seems that this interface design specification is very useful in development process of the future weapon system.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 1999년도 종합학술대회발표논문집
• /
• pp.85-92
• /
• 1999

The current R＆B system has a lot of problems caused by complexity of the system and lack of IDE concept among the related offices and organizations. IDE concept is building Integrated database with data which applied standards and digitalized. So R＆D CALS system should be established for the related offices and organizations can use data which created during R＆D life-cycle in IDE. In this paper, I suggested system requirements and system quality factors for building IDE based upon SSS form.

• International Journal of Quality Innovation
• /
• 제7권1호
• /
• pp.35-47
• /
• 2006

Client-supplier collaboration has been an imperative approach to new product development (NPD), in which a good product specification management system and practice is crucial to the assurance of product quality. This study investigates product specification management in client-supplier collaborative NPD. Based on the interviews and survey study, 12 problems and 13 good practices of product specification management are identified. It also compares the importance and degree of the implementation of the product specification practices in Hong Kong electronics industry. The results suggest that more intensive practices should be implemented for better product specification management.

• 한국군사과학기술학회지
• /
• 제3권1호
• /
• pp.47-57
• /
• 2000

This paper contains the design specification and detail design for a seaborne towing winch system. We analyze operating condition of the system and decide the design specification for the towing winch system, and also perform a detail design for the subsystem such as hydraulic winch system, control equipment and power supplier at the full scale development. The performance of designed towing winch is established by load tests and sea trial tests.